Detail předmětu

Funkcionální a logické programování

FLP Ak. rok 2003/2004 zimní semestr 6 kreditů

Aktuální akademický rok

Praktické aplikace a širší úvod do lambda kalkulu a predikátové logiky v prostředí funkcionálních a logických programovacích jazyků. Jsou diskutovány abstraktní datové typy, použití rekurze a indukce, práce se seznamy a nekonečnými datovými strukturami. Základy programování v jazycích Haskell, Prolog a Goedel: principy jejich implementace.

Podrobněji ...

Garant předmětu

Kolář Dušan, doc. Dr. Ing. (UIFS)

Jazyk výuky

česky

Zakončení

zkouška

Rozsah

Zajišťuje ústav

Ústav informačních systémů (UIFS)

Získané dovednosti, znalosti a kompetence z předmětu

Studenti získají základní znalosti a praktické zkušenosti ve funkcionálním a logickém programování, což jsou významní představitelé deklarativního programování. Kromě toho obdrží základní informace o teoretických základech obou paradigmat a způsobu implementace.

Cíle předmětu

Zvládnutí funkcionálního a logického programování a formálních základů, které jsou při použití obou paradigmat využívány.

Průběžná kontrola studia

Půlsemestrální zkouška, vypracování 2 projektů v předepsaném termínu.

Zařazení předmětu ve studijních plánech

Nahoru