Õppeaine 'Funktsionaalne ja loogiline programmeerimine'

Aasta:   2005/2006    2006/2007    2007/2008    2008/2009    2009/2010    

Funktsionaalsete keelte põhiomadused - funktsioonid, ilmutatud viidatavus, rekursioon, tüübid, polümorfism, kõrgemat järku funktsioonid, laisk ja agar väärtustamine. Ülevaade laisast funktsionaalsest keelest Haskell ning funktsionaal-programmeerimise tehnikatest.
Loogiliste programmide põhikonstruktsioonid ja nende täitmine. Teadmiste baaside ja keerdülesannete esitamine keeles Prolog. Rekursiivsed struktuurid: aritmeetilised avaldised ja listid. Prologi metavahendid, teist järku predikaadid ja loogikavälised käsud.

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