Propositional and Predicate Logic

Winter semester 2015/16

Previous year: ZS 2014/15 EN.
Lecture in Czech: ZS 2015/16 CZ, ZS 2014/15 CZ, ZS 2013/14 CZ

Schedule: Tuesday 14:00-15:30, room S10.
Lecturer: Petr Gregor (gregor(at)
Information on the lecture: 2/2 Zk/Z NAIL062 in SIS

Plan of the lecture
The plan is only preliminary, almost surely it will not be fulfilled.

Recommended literature

The lecture is accompanied by a practical seminar.

The exam consists of an exam test and an oral exam. Details on the form and extent of the exam are specified here. An example of an exam test is here. A prerequisite for the exam is the credit from the seminar. Exam dates will be available in SIS.

Previous exam test: 27.1., 9.2., 11.2.

Consultation hours
Tuesday 17:10 - 18:00 (after the seminar), or by an (email) appointment.

Any comments on inaccuracy or unclear parts of the lecture slides are most welcome.