Propositional and Predicate Logic
There will be two tests during the term (one on propositional and one on predicate logic). It will be possible to get 10 points for each test and you need to get at least 13 points for both of the tests to get the credit for the seminar.
Exercises from the seminar
We use the exercises from Petr Gregor's seminar.