Propositional and Predicate Logic - seminar

Winter semester 2015/16

Schedule: Tuesday 15:40-17:10, room S10.
Lecturer: Petr Gregor (gregor(at)ktiml.mff.cuni.cz)
Information on the lecture: 2/2 Zk/Z NAIL062 in SIS, on the page of the lecture.

Exercises

Announcement
On Jan 5th, we will have a second test, this time on predicate logic.

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