Podať prehľad základných čŕt funkcionálnych jazykov a princípov funkcionálneho programovania.

Okrem základov: práca so zoznamami, rekurzia (chvostová rekurzia) si všimneme štyroch predstaviteľov funkcionálnych jazykov: Hope/Haskell, FP, Lisp, lambda klakul a navzájom ich porovnáme. Zameriame sa najmä na FP, ktorý nemá premenné a Haskell, ktorý je tzv. lenivý a silno typovaný. Rozoberieme algoritmus typovej inferencie.
Na cvičeniach sa píšu krátke programy v Haskelli ilustrujúce preberané témy z prednášok. Tak si študenti môžu vyskúšať v praxi programovanie v lenivom programovacom jazyku, kde sa používajú nekonečné zoznamy, siete procesov, práca s neznámymi a ďaľšie konštrukcie, ktoré klasickí „procedurálni" programátori zvyčajne nepoznajú.