Výroková a predikátová logika - NHII059

• Anglický název: Propositional and Predicate Logic
• Zajišťuje: Katedra teoretické informatiky a matematické logiky (32-KTIML)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2004
• Semestr: zimní
• E-Kredity: 6
• Rozsah, examinace: zimní s.:3/1, Z+Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: zrušen
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Neslučitelnost : NAIL023
• Záměnnost : NAIL023

Anotace

Výroková logika, normální tvary formulí, věta o úplnosti predikátové logiky, prenexní tvary formulí, věta o úplnosti, modely teorií.

Poslední úprava: ()