Detail předmětu
Funkcionální a logické programování
FLP Ak. rok 2003/2004 zimní semestr 6 kreditů
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.
Garant předmětu
Jazyk výuky
Zakončení
Rozsah
Zajišťuje ústav
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
- Program EI-BC-3, obor VTB, 2. ročník, volitelný
- Program EI-BC-3 (anglicky), obor VTB, 2. ročník, volitelný
- Program EI-MGR-3, obor VTN, 2. ročník, volitelný
- Program EI-MGR-5, obor VTI, 2. ročník, volitelný
- Program EI-MGR-5 (anglicky), obor VTI, 2. ročník, volitelný