Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-FLPAk. rok: 2019/2020
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
Prerekvizity
Způsob a kritéria hodnocení
Učební cíle
Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky
Doporučená literatura
Zařazení předmětu ve studijních plánech
obor MBI , libovolný ročník, letní semestr, volitelnýobor MMM , libovolný ročník, letní semestr, povinnýobor MGM , libovolný ročník, letní semestr, povinně volitelnýobor MPV , libovolný ročník, letní semestr, povinně volitelnýobor MSK , libovolný ročník, letní semestr, volitelný
specializace NEMB , libovolný ročník, letní semestr, povinný
obor MBS , 1. ročník, letní semestr, povinnýobor MIS , 1. ročník, letní semestr, povinnýobor MIN , 1. ročník, letní semestr, povinnýobor MMI , 1. ročník, letní semestr, povinný
specializace NBIO , 1. ročník, letní semestr, povinnýspecializace NISD , 1. ročník, letní semestr, povinnýspecializace NISY , 1. ročník, letní semestr, povinnýspecializace NIDE , 1. ročník, letní semestr, povinnýspecializace NCPS , 1. ročník, letní semestr, povinnýspecializace NSEC , 1. ročník, letní semestr, povinnýspecializace NMAT , 1. ročník, letní semestr, povinnýspecializace NGRI , 1. ročník, letní semestr, povinnýspecializace NNET , 1. ročník, letní semestr, povinnýspecializace NVIZ , 1. ročník, letní semestr, povinnýspecializace NSEN , 1. ročník, letní semestr, povinnýspecializace NMAL , 1. ročník, letní semestr, povinnýspecializace NHPC , 1. ročník, letní semestr, povinnýspecializace NVER , 1. ročník, letní semestr, povinnýspecializace NADE , 1. ročník, letní semestr, povinnýspecializace NSPE , 1. ročník, letní semestr, povinný
Přednáška
Vyučující / Lektor
Osnova
Cvičení na počítači
Projekt