Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-FLPAk. rok: 2013/2014
Praktické aplikace a širší úvod do lambda kalkulu a predikátové logiky v prostředí funkcionálních a logických programovacích jazyků. V rámci funkcionálního programování jsou diskutovány abstraktní datové typy, použití rekurze a indukce, práce se seznamy a nekonečnými datovými strukturami v jazyce Haskell. V rámci logických jazyků základy programování v jazyce Prolog (operátor řezu, prohledávání stavového prostoru, změna databáze), Goedel, CLP a principy jejich implementace.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Výsledky učení předmětu
Užití a zvládnutí rekurze pro algoritmizaci.
Prerekvizity
Plánované vzdělávací činnosti a výukové metody
Způsob a kritéria hodnocení
Osnovy výuky
Učební cíle
Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky
Základní literatura
Doporučení literatura
Zařazení předmětu ve studijních plánech
obor MBS , 1 ročník, letní semestr, povinnýobor MIN , 1 ročník, letní semestr, povinnýobor MIS , 1 ročník, letní semestr, povinnýobor MMI , 1 ročník, letní semestr, povinnýobor MMM , 0 ročník, letní semestr, povinnýobor MPV , 0 ročník, letní semestr, povinně volitelnýobor MBI , 0 ročník, letní semestr, volitelnýobor MGM , 0 ročník, letní semestr, povinně volitelnýobor MSK , 0 ročník, letní semestr, volitelný
Přednáška
Vyučující / Lektor
Osnova
Cvičení na počítači
Projekt