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

English title
Interactive support for teaching functional and logic programming
Type
grant
Keywords

reduction, resolution, SLD, Prolog, animation, functional programming, logic
programming

Abstract

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.

Team members
Jirák Ota, Ing. – research leader
Goldefus Filip, Mgr.
Křivka Zbyněk, Ing., Ph.D. (DIFS)
Files
Publications

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
Back to top