MA007/01: each even Wednesday 12:00–13:50 C525, T. Lamser
MA007/02: each odd Wednesday 12:00–13:50 C525, D. Klaška
MA007/03: each even Thursday 14:00–15:50 C525, D. Klaška
MA007/04: each odd Thursday 14:00–15:50 C525, T. Lamser
The course is also offered to the students of the fields other than those the course is directly associated with.
Fields of study the course is directly associated with
there are 25 fields of study the course is directly associated with, display
The course covers basic results about propositional and first
order logic, including Gödel's completeness and incompleteness
At the end of this course, students should be able to:
understand the difference between formal notions and notions
defined at a meta-level;
understand the difference between validity and provability;
understand the syntax and semantics of first-order logic;
understand and appreciate the fundamental ideas in the proofs of
Gödel's completeness and incompleteness theorems.