Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-LOGAk. rok: 2009/2010
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 kompaktnosti a úplnosti. 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 včetně logik 2. řádu, 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
Studenti se naučí exaktnímu formálnímu myšlení, které jim umožní provádět korektní a efektivní algoritmizaci řešení zadaných problémů. Také získají schopnost ověřovat správnost již vytvořených algoritmizací (verifikace programů).
Prerekvizity
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 MBI , 0 ročník, zimní semestr, volitelnýobor MBS , 0 ročník, zimní semestr, volitelnýobor MGM , 0 ročník, zimní semestr, volitelnýobor MIN , 0 ročník, zimní semestr, volitelnýobor MIS , 0 ročník, zimní semestr, volitelnýobor MMI , 0 ročník, zimní semestr, volitelnýobor MMM , 2 ročník, zimní semestr, povinnýobor MPV , 0 ročník, zimní semestr, volitelnýobor MSK , 1 ročník, zimní semestr, povinně volitelný
Přednáška
Vyučující / Lektor
Osnova
Cvičení odborného základu