Propositional and Predicate Logic

This year, my logic tutorials take place on Mondays at 10:40 in the room S11.

Credit requirements

You need to get 140 points during the semester to get the credit. There are four ways how to get the credit:

• homework assignments - there will be two assignments for 5 points each
• SAT solver project - there will be project on using a SAT solver to solve a problem, you can get up to 35 points for the project
• tests - we will write two tests, you can get up to 100 points for each of them, at the same time, you need at least 40 points from each to pass
• activity - you can get up to 5 points for activity in the classes - if you are active in two different lessons, you will get a point

What does it mean to be active? The main goal is to motivate you to ask questions and answer my questions. Activity is thus defined quite broadly, e.g. solving and exercise, answering a question (regardless of the correctness of the answer, if you at least try to answer correctly, i.e. you are not just trolling), or even asking a question related to the discussed matter.

Additional Resources

• Petr Gregor’s webpage on logic
• Jakub Bulín’s lecture notes (work in progress)
• My lecture notes

Exercises from the seminar

We will mostly use the exercises from Petr Gregor’s seminar.