Propositional and Predicate Logic - NAIL062

• 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 2015 to 2018
• Semester: winter
• E-Credits: 6
• Hours per week, examination: winter s.:2/2, C+Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: taught
• Language: Czech, English
• Teaching methods: full-time
• Teaching methods: full-time
• Guarantor: doc. Mgr. Petr Gregor, Ph.D.
• Class: Informatika Bc.
• Classification: Informatics > Theoretical Computer Science
• Is incompatible with: NAIL023, NLTM006
• Is interchangeable with: NAIL023

Annotation

English

Last update: 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

Czech

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

Aim of the course

Last update: T_KTI (26.05.2008)

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

Syllabus

English

Last update: doc. Mgr. Petr Gregor, Ph.D. (09.10.2017)

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: doc. Mgr. Petr Gregor, Ph.D. (09.10.2017)

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.