Week13 - Some More Logic

This is the last week. We will practice resolution calculus and learn about the prenex form. Then I will give some final exam tips and conclude this semester.

We also organized an extra session to prepare you for the exam. You can find the materials here:

Extra Exam Prep. Session

• Kahoot: link
• Slides Emil: pdf
• Slides Shivi: pdf
• Slides Leo: pdf

Resources

• Slides + Exercises + Solutions: pdf
• My Summary: pdf
• My Cheatsheet: pdf

Exercise Sheet Recommendations

Still take a loot at the last exercise sheet, even if it does not give bonus points.