Interaktivní podpora výuky funkcionálního a logického programování

Tato stránka plní úlohu přílohy k závěrečné zprávě projektu Fondu rozvoje vysokých škol MŠMT FR2392/2010/G1.

Řešitelé

Výsledky a prezentace

  • Interaktivní demonstrace SLD rezoluce a lambda kalkulu (flash prezentace):
    • Aplikace ve Flash je dočasně mimo provoz
    • Stručný popis aplikace: demonstrace práce s různými rezolucemi (SLD, lambda kalkul)
    • Manuál aplikace: html, PDF
    • Aplikace je také dostupná na privátních stránkách předmětů, pro jejichž podporu primárně vznikla:
projects/frvs2010.txt · Last modified: 2011/05/23 10:54 by ijirak
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki