Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-LOGAk. rok: 2022/2023
V předmětu budou systematicky vyloženy základy výrokové a zejména predikátové logiky. Nejprve budou studenti seznámeni se syntaxí a sémantikou těchto logik, pak budou logiky studovány jako formální teorie s důrazem na problematiku dokazování formulí. Prodiskutovány budou také klasické věty o korektnosti, úplnosti a kompaktnosti. Po probrání převodu formulí na prenexní tvar budou uvedeny některé vlastnosti a modely teorií 1. řádu. Pozornost bude také věnována nerozhodnutelnosti teorií 1. řádu vyplývající ze známých Gödelových vět o neúplnosti. Závěrem předmětu bude pojednáno o některých dalších významných logikách, které nacházejí uplatnění v informatice.
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
Doporučená literatura
Zařazení předmětu ve studijních plánech
obor MBI , 0 ročník, letní semestr, volitelnýobor MBS , 0 ročník, letní semestr, volitelnýobor MGM , 0 ročník, letní semestr, volitelnýobor MIN , 0 ročník, letní semestr, volitelnýobor MIS , 0 ročník, letní semestr, volitelnýobor MMM , 0 ročník, letní semestr, povinnýobor MPV , 0 ročník, letní semestr, volitelný
specializace NADE , 0 ročník, letní semestr, volitelnýspecializace NBIO , 0 ročník, letní semestr, volitelnýspecializace NCPS , 0 ročník, letní semestr, volitelnýspecializace NEMB , 0 ročník, letní semestr, volitelnýspecializace NGRI , 0 ročník, letní semestr, volitelnýspecializace NHPC , 0 ročník, letní semestr, volitelnýspecializace NIDE , 0 ročník, letní semestr, volitelnýspecializace NISD , 0 ročník, letní semestr, volitelnýspecializace NISY do 2020/21 , 0 ročník, letní semestr, volitelnýspecializace NMAL , 0 ročník, letní semestr, volitelnýspecializace NMAT , 0 ročník, letní semestr, volitelnýspecializace NNET , 0 ročník, letní semestr, volitelnýspecializace NSEC , 0 ročník, letní semestr, volitelnýspecializace NSEN , 0 ročník, letní semestr, volitelnýspecializace NSPE , 0 ročník, letní semestr, volitelnýspecializace NVER , 0 ročník, letní semestr, volitelnýspecializace NVIZ , 0 ročník, letní semestr, volitelnýspecializace NISY , 0 ročník, letní semestr, volitelný
obor MSK , 1 ročník, letní semestr, povinně volitelný
specializace NEMB do 2021/22 , 0 ročník, letní semestr, volitelný
Přednáška
Vyučující / Lektor
Osnova
Cvičení odborného základu