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Š)

Název anglicky

Interactive support for teaching functional and logic programming

Typ

grant

Klíčová slova

redukce, rezoluce, SLD, Prolog, animace, funkcionální programování, logické programování

Abstrakt

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ů.

Řešitelé

Jirák Ota, Ing. (UIFS FIT VUT) , hlavní řešitel
Goldefus Filip, Mgr. (UIFS FIT VUT) , spoluřešitel
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel

Soubory

Publikace

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