M007 Mathematical Logic

Faculty of Informatics
Autumn 2001
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
Teacher(s)
doc. RNDr. Jiří Kaďourek, CSc. (lecturer)
Guaranteed by
doc. RNDr. Jiří Kaďourek, CSc.
Departments – Faculty of Science
Contact Person: doc. RNDr. Jiří Kaďourek, CSc.
Timetable
Thu 7:00–8:50 D1
Prerequisites
M005 Foundations of mathematics
Prerequisity is the subject M005 Foundations of mathematics.
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
Syllabus
  • Propositional logic: propositional formulas, truth, provability, completeness theorem
  • Predicate logic: predicate formulas
  • Semantics of predicate logic: realizations, truth, validity
  • Axioms of predicate logic: provability, correctness, deduction theorem
  • Completeness theorem: Henkin theory, Gödel completeness theorem
  • Compactness theorem: compactness theorem, Löwenheim-Skolem theorem
  • Complete theories: elementary equivalence, complete theory, Los-Vaught theorem
Literature
  • KOLÁŘ, Josef, Olga ŠTĚPÁNKOVÁ and Michal CHYTIL. Logika, algebry a grafy. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1989, 434 s. info
  • ŠTĚPÁNEK, Petr. Matematická logika. Vyd. 1. Praha: Státní pedagogické nakladatelství, 1982, 281 s. info
Language of instruction
Czech
Follow-Up Courses
Further Comments
The course is taught annually.
The course is also listed under the following terms Autumn 1995, Autumn 1996, Autumn 1997, Autumn 1998, Autumn 1999, Autumn 2000.
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2001/M007