Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-QM4Ak. rok: 2009/2010
Konečnost, spočetnost, kardinalita, hypotéza kontinua a axiom výběru. Sémantika a syntax výrokové logiky. Věty: o kompaktnosti, o konečnosti, o úplnosti. Sémantika a syntax predikátové logiky prvního řádu. Prenexe. Věta o korektnosti a o úplnosti. Věty: Henkinova, Lindenbaumova, o kompaktnosti. Věty: Herbrandova, Hilberta-Ackermanna, Skolemova. Interpretace jednoho jazyka v druhém. Komentáře k temporální logice, ke kombinatorické logice a k logickému programování.
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í
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 DIT3 , libovolný ročník, letní semestr, volitelný
obor DVI4 , libovolný ročník, letní semestr, volitelný
Přednáška
Vyučující / Lektor
Osnova