Propositional and Predicate Logic - NAIL023

• Title: Výroková a predikátová logika
• Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2004
• Semester: summer
• E-Credits: 6
• Hours per week, examination: summer s.:3/1, C+Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: cancelled
• Language: Czech
• Teaching methods: full-time
• Teaching methods: full-time
• Guarantor: prof. RNDr. Petr Štěpánek, DrSc.
• Classification: Informatics > Theoretical Computer Science
• Incompatibility : NAIL062
• Interchangeability : NAIL062
• Is incompatible with: NHII059
• Is pre-requisite for: NAIL033
• Is interchangeable with: NHII059

Annotation

English

Last update: T_KTI (03.04.2001)

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

Czech

Last update: T_KTI (28.03.2002)

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.

Syllabus

English

Last update: T_KTI (15.01.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

Czech

Last update: T_KTI (15.01.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.