PřF:M5150 Mathematical Logic - Course Information
M5150 Mathematical Logic
Faculty of ScienceAutumn 1999
- Extent and Intensity
- 2/1/0. 4 credit(s). Type of Completion: zk (examination).
- Teacher(s)
- doc. RNDr. Jiří Kaďourek, CSc. (lecturer)
- Guaranteed by
- prof. RNDr. Jiří Rosický, DrSc.
Department of Mathematics and Statistics – Departments – Faculty of Science
Contact Person: doc. RNDr. Jiří Kaďourek, CSc. - Prerequisites (in Czech)
- M1120 Fundamentals 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
- Mathematics (programme PřF, M-MA)
- Mathematics (programme PřF, N-MA)
- 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
- Language of instruction
- Czech
- Further Comments
- The course is taught annually.
The course is taught: every week.
- Enrolment Statistics (Autumn 1999, recent)
- Permalink: https://is.muni.cz/course/sci/autumn1999/M5150