M5150 Mathematical Logic

Faculty of Science
Autumn 2000
Extent and Intensity
2/1/0. 4 credit(s). Type of Completion: zk (examination).
Teacher(s)
doc. RNDr. Jiří Kaďourek, CSc. (lecturer)
Mgr. David Kruml, Ph.D. (seminar tutor)
Guaranteed by
prof. RNDr. Jiří Rosický, DrSc.
Department of Mathematics and Statistics – Departments – Faculty of Science
Contact Person: doc. RNDr. Jiří Kaďourek, CSc.
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
Course objectives
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
Further Comments
The course can also be completed outside the examination period.
The course is taught annually.
The course is taught: every week.
The course is also listed under the following terms Autumn 1999, Autumn 2001, Autumn 2002, Autumn 2003, Autumn 2004.
  • Enrolment Statistics (Autumn 2000, recent)
  • Permalink: https://is.muni.cz/course/sci/autumn2000/M5150