Week12 - More Logic #
This week we continue with chapter 6. We mostly focus on predicate logic and get comfortable evaluating formulas and proving statements about them.
Resources #
This week the exercises and everything related to the topic are on the slides.
Extra Exam Prep. Session #
We will be holding an exam prep. session and mega-kahoot in the last week of the semester. It takes place on Monday, Dec. 15th from 12:10 to 14:00 in CAB G61. Please be there a little bit earlier so we can start on time. Everyone is invited.
During the session, we will also answer some of your questions. You can send us quesions through this form: form
Notes on Last Exercise Sheet #
- Justify your steps! Justify your steps! Justify your steps!
Exercise Sheet Recommendations #
Try all of them! Skip the exam exercise if you don’t have time.