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

• Anglický název: Propositional and Predicate Logic
• Zajišťuje: Katedra teoretické informatiky a matematické logiky (32-KTIML)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2015
• Semestr: zimní
• E-Kredity: 6
• Rozsah, examinace: zimní s.:2/2 Z+Zk [hodiny/týden]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• Stav předmětu: vyučován
• Jazyk výuky: čeština, angličtina
• Způsob výuky: prezenční
• Garant: Mgr. Petr Gregor, Ph.D.
• Třída: Informatika Bc.
• Kategorizace předmětu: Informatika > Teoretická informatika

Anotace

čeština

Poslední úprava: G_I (05.06.2003)

Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.

angličtina

Poslední úprava: G_I (05.06.2003)

Propositional logic, normal forms of propositional formulas, predicate logic of first order, prenex forms of formulas, completness theorems for propositional and predicate logic, models of first-order theories. The limits of formal method, Goedel's theorems

Cíl předmětu

Poslední úprava: T_KTI (26.05.2008)

Naučit základy výrokové a predikátové logiky

Sylabus

čeština

Poslední úprava: G_I (05.06.2003)

Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.

angličtina

Poslední úprava: G_I (05.06.2003)

Propositional logic, normal forms of propositional formulas, predicate logic of first order, prenex forms of formulas, completness theorems for propositional and predicate logic, models of first-order theories. The limits of formal method, Goedel's theorems