Week11 - Logic #
This week we start with chapter 6 - the logic chapter. We talk about proof systems and then cover logical calculi. Lastly we practice some proofs and deriving the conjunctive and disjunctive normal forms.
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
Resources #
This week the exercises and everything related to the topic are on the slides.
Notes on Last Exercise Sheet #
- The exercises this week were rather difficult, so don’t be sad if you didn’t get a lot of points
- Justify your steps! Justify your steps! Justify your steps!
- Avoid …-notation, it can be dangerous.
- The neutral elements 0 and 1 of a field have nothing to do with the numbers 0 and 1! They could be any mathematical objects!
- Be careful about what is being defined in the task. Just because we defined A x B does not mean B x A is also defined.
- If something is not completely obvious from the definition, then you need to at least write “lemma script” as a justification (if you are using a lemma from the script).
- Don’t just write “we can now use X to show Y”, show it!
Exercise Sheet Recommendations #
Try all of them! Skip the exam exercise if you don’t have time.