Project Details
Interaktivní podpora výuky funkcionálního a logického programování
Project Period: 1. 1. 2010 – 31. 12. 2010
Project Type: grant
Code: FR2392/2010/G1
Agency: Ministerstvo školství, mládeže a tělovýchovy ČR
Program: Fond rozvoje vysokých škol (FRVŠ)
reduction, resolution, SLD, Prolog, animation, functional programming, logic programming
We have created an interactive tool for demonstrating various types of reductions and resolutions of classical logic and functional programming languages. We have focused on the reduction in lambda calculus and SLD resolution in Prolog. We have used animated examples to get the students familiar with reduction and resolution techniques in functional and logical programming languages.
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