Detail projektu
Interaktivní podpora výuky funkcionálního a logického programování
Období řešení: 1. 1. 2010 - 31. 12. 2010
Typ projektu: grant
Kód: FR2392/2010/G1
Agentura: Fond rozvoje vysokých škol MŠMT
Program: Fond rozvoje vysokých škol (FRVŠ)
redukce, rezoluce, SLD, Prolog, animace, funkcionální programování, logické programování
Vytvořili jsme interaktivní pomůcku pro demonstraci různých typů redukcí a rezolucí klasických logických a funkcionálních programovacích jazyků, se zaměřením na redukce v lambda kalkulu a SLD rezoluce v Prologu.
Pomocí interaktivních výukových programů se studenti formou animací seznámí s touto problematikou. S využitím názorných animovaných příkladů se studenti seznámí s technikami redukcí, rezolucí a modifikací u funkcionálních a logických programovacích jazyků.
Goldefus Filip, Mgr. (UIFS FIT VUT) , spoluřešitel
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
2010
- GOLDEFUS Filip a JIRÁK Ota. Application of e-Learning in Programming Languages Theory. In: Proceedings of the 8th International Conference ICETA 2010. Stará Lesná: elfa, s.r.o., TU v Košiciach, 2010, s. 321-325. ISBN 978-80-8086-166-7. Detail