Login

Subject 'Functional and Logic Programming'

Name in Estonian: Funktsionaalne ja loogiline programmeerimine

Year:   2001/2002    2002/2003    2003/2004    2004/2005    2005/2006    

State codeI214
Study languageEstonian
Chair
Credit points 2.5 CP; 4 ECTS
Grading method Exam

General description

The basic properties of functional languages - functions, referential transparency, recursion, types, polymorphism, higher order functions, lazy and strict evaluation. Overview of lazy functional language Haskell and its programming techniques.
The basic constructions of logic programs and ways of interpretation. Presentation of knowledge bases and puzzles in Prolog. Recursive structures: arithmetic expressions and lists. Prolog's meta facilities, second order predicates and non-logical commands.
Lecturers: Varmo Vene, PhD, Tõnu Tamme MSc

Is taught in following curricula

2010: ISd  
2009: ISd  ISd-k  
2008: ISd  ISd-k  
2007: ISd  
2006: ISd  
2005: ISd  
2004: ISd  
2003: ISd  
2002: ISd  
2001: IS  
2000: IS  
eten