Propositional and Predicate Logic - seminar

Winter semester 2014/15

Schedule: Monday 17:20-18:50, room S11.
Lecturer: Petr Gregor (gregor(at)
Information on the lecture: 2/2 Zk/Z NAIL062 in SIS, on the page of the lecture.


There will be two tests throughout the semester. For the credit from the seminar you need to obtain at least 2/3 points for the tests. Additional points can be obtained for activity during the seminars or occasional homework.