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: Ministerstvo školství, mládeže a tělovýchovy ČR
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ů.
2010
- GOLDEFUS, F.; JIRÁK, O. Application of e-Learning in Programming Languages Theory. Proceedings of the 8th International Conference ICETA 2010. Stará Lesná: elfa, s.r.o., TU Kosice, 2010.
p. 321-325. ISBN: 978-80-8086-166-7. Detail