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: Ota Jirák
• 1. spoluřešitel: Zbyněk Křivka
• 2. spoluřešitel: Filip Goldefus

• 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:
    • Principy programovacích jazyků a OOP (IPP; bakalářský studijní program)
    • Funkcionální a logické programování (FLP nebo FPR; magisterský studijní program)