FI:M007 Mathematical Logic - Course Information

M007 Mathematical Logic

Extent and Intensity

2/0. 2 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).

Teacher(s)

prof. RNDr. Jiří Rosický, DrSc. (lecturer)

Guaranteed by

Contact Person: prof. RNDr. Jiří Rosický, DrSc.

Prerequisites

Prerequisites 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

• Informatics (programme FI, B-IN)
• Informatics (programme FI, M-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
• Information Technology (programme FI, B-IN)

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

Language of instruction

Czech

• Enrolment Statistics (Autumn 1996, recent)
  
• Permalink: https://is.muni.cz/course/fi/autumn1996/M007