Propositional and Predicate Logic - seminar

Winter semester 2016/17

Schedule: Wednesday 15:40-17:10, room S11.
Lecturer: Petr Gregor (gregor(at)
Information on the lecture: 2/2 Zk/Z NAIL062 in SIS, on the page of the lecture.


Announcement: The second test will be on January 11.

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 homeworks.