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: Fond rozvoje vysokých škol MŠMT

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. (UIFS FIT VUT) , research leader
Goldefus Filip, Mgr. (UIFS FIT VUT) , team leader
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT) , team leader

Files

Publications

2010

GOLDEFUS Filip and 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 Kosice, 2010, pp. 321-325. ISBN 978-80-8086-166-7. Detail