Funkcionální a logické programování

Funkcionální a logické programování
456-0310/01
čeština

Anotace

Předmět je rozdělen do dvou samostatných celků. V části věnované funkcionálnímu programování bude výuka zaměřena na metody vycházející z lambda kalkulu, funkcí vyššího řádu a rekurze s využitím jazyka Haskell. Druhá část je zaměřena na logické programování a programovací techniky v jazyce Prolog.

Povinná literatura

Materiály k programovacímu jazyku Haskell na http://www.haskell.org
Materiály k programovacímu jazyku Prolog na
http://www.swi.psy.uva.nl/projects/SWI-Prolog/

Mária Bieliková, Pavol Návrat: Funkcionálne a logické programovanie. FEI STU Bratislava, 1997.

Doporučená literatura

Programming language Haskell: http://book.realworldhaskell.org/read/
Programming language Prolog: http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html

zpět na vyhledávání

Jazyk výuky	čeština
Kód	456-0310
Zkratka	FLP
Název předmětu česky	Funkcionální a logické programování
Název předmětu anglicky	Functional and Logic Programming
Garantující katedra	Katedra informatiky
Garant předmětu	prof. RNDr. Marie Duží, CSc.