SubjectsSubjects(version: 802)
Course, academic year 2016/2017
   Login via CAS
Propositional and Predicate Logic - NAIL062
Czech 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
Semester: winter
E-Credits: 6
Hours per week, examination: winter s.:2/2 C+Ex [hours/week]
Capacity: unlimited
Min. number of students: unlimited
State of the course: taught
Language: Czech, English
Teaching methods: full-time
Guarantor: Mgr. Petr Gregor, Ph.D.
Class: Informatika Bc.
Classification: Informatics > Theoretical Computer Science
Annotation -
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
Aim of the course - Czech
Last update: T_KTI (26.05.2008)

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

Syllabus -
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

 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html