Computer Lab supervisions - Logic and Proof

The successor to Discrete Maths II, which students actually find to be easier than DMII. However, that perception usually comes after going through the tough DMII course, which means you should maintain a great level of diligence for Logic and Proof.

**Supervision 1:**

- Exercises 1--13 excluding exercise 5 (ML) from the Notes.

**Supervision 2:**

- Exercises 14--25 from the Notes.

**Supervision 3:**

- Exercises 26--36 from the Notes.

**Supervision 4:**

- Exercises 37--46 from the Notes.