Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FSI-SMLAk. rok: 2009/2010
V kurzu budou vyloženy základy výrokové a predikátové logiky. Nejprve bude na logických a sémantických paradoxech ukázána nutnost požadavku přesnosti při studiu formálních systémů. Pak bude probírána syntax asémantika klasické výrokové logiky. Bude užit jak obvyklý přístup založený na řetězech symbolů, tak přístup založený na využití teorie grafů a pracující se stromy. Ve druhé části kurzu bude studována predikátová logika, opět její syntax i sémantika. Bude ukázáno, že matematická logika, která tvoří základ matematického uvažování, hraje významnou roli i v jiných disciplínách, např. v informatice.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Výsledky učení předmětu
Prerekvizity
Plánované vzdělávací činnosti a výukové metody
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
Základní literatura
Doporučená literatura
Zařazení předmětu ve studijních plánech
obor M-MAI , 1. ročník, letní semestr, povinný
Přednáška
Vyučující / Lektor
Osnova