Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-FLPAk. rok: 2023/2024
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
Vstupní znalosti
Pravidla hodnocení a ukončení předmětu
Učební cíle
Základní literatura
Doporučení literatura
Elearning
Zařazení předmětu ve studijních plánech
obor MPV , 0 ročník, letní semestr, povinně volitelnýobor MGM , 0 ročník, letní semestr, povinně volitelný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 MBI , 0 ročník, letní semestr, volitelnýobor MSK , 0 ročník, letní semestr, volitelnýobor MMM , 0 ročník, letní semestr, povinný
specializace NISY , 1 ročník, letní semestr, povinnýspecializace NSPE , 1 ročník, letní semestr, povinnýspecializace NBIO , 1 ročník, letní semestr, povinnýspecializace NSEN , 1 ročník, letní semestr, povinnýspecializace NVIZ , 1 ročník, letní semestr, povinnýspecializace NGRI , 1 ročník, letní semestr, povinnýspecializace NADE , 1 ročník, letní semestr, povinnýspecializace NISD , 1 ročník, letní semestr, povinnýspecializace NMAT , 1 ročník, letní semestr, povinnýspecializace NSEC , 1 ročník, letní semestr, povinnýspecializace NISY do 2020/21 , 1 ročník, letní semestr, povinnýspecializace NCPS , 1 ročník, letní semestr, povinnýspecializace NHPC , 1 ročník, letní semestr, povinnýspecializace NNET , 1 ročník, letní semestr, povinnýspecializace NMAL , 1 ročník, letní semestr, povinnýspecializace NVER , 1 ročník, letní semestr, povinnýspecializace NIDE , 1 ročník, letní semestr, povinnýspecializace NEMB , 0 ročník, letní semestr, povinnýspecializace NEMB do 2021/22 , 0 ročník, letní semestr, povinný
Přednáška
Vyučující / Lektor
Osnova
Cvičení na počítači
Projekt