====== 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é =====
  * **Řešitel**: [[ijirak@fit.vutbr.cz|Ota Jirák]]
  * **1. spoluřešitel**: [[krivka@fit.vutbr.cz|Zbyněk Křivka]]
  * **2. spoluřešitel**: [[igoldefu@fit.vutbr.cz|Filip Goldefus]]

===== 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**: [[http://www.stud.fit.vutbr.cz/~xgolde00/frvs/manual.html|html]], [[http://www.stud.fit.vutbr.cz/~xgolde00/frvs/manual.pdf|PDF]]
    * Aplikace je také dostupná na privátních stránkách předmětů, pro jejichž podporu primárně vznikla:
      * [[https://www.fit.vutbr.cz/study/courses/IPP/private/|Principy programovacích jazyků a OOP]] (IPP; bakalářský studijní program)
      * [[https://www.fit.vutbr.cz/study/courses/FLP/private/|Funkcionální a logické programování]] (FLP nebo FPR; magisterský studijní program)