each even Monday 10:00–11:50 A217, each even Tuesday 10:00–11:50 D2
Timetable of Seminar Groups:
MA007/T01: Mon 17. 9. to Thu 13. 12. Mon 13:00–14:50 KOM 115, D. Klaška, Nepřihlašuje se. Určeno pro studenty se zdravotním postižením.
MA007/01: each even Friday 10:00–11:50 B410, D. Klaška
MA007/02: each odd Friday 10:00–11:50 B410, D. Klaška
MA007/03: each even Thursday 14:00–15:50 A318, T. Lamser
MA007/04: each odd Thursday 14:00–15:50 A318, 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.