Predicate and Propositional Logic > Propositional and Predicate Logic

Propositional and Predicate Logic

Published on Sept. 28, 2016, 9:37 p.m.
I teach only the Czech version of the seminar this year. For the English version, see Petr Gregor's webpage. The information of this page is about my Czech seminar.

Credit requirements

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.