Supervisions 2019-2020

This page contains supervision materials for the academic year starting October 2019.

Logic and Proof

Please refer to the course home page, and the course notes in particular. Where I have set exam questions, I (optionally) recommend doing these in closed-book, timed conditions for your own benefit.

Supervision 1

This supervision covers lectures 1 to 5. Please complete:

  • Exercises 1-4, 6-8, 10, 12, 13, and 15-19 from the course notes.
  • y2017p6q6, using NNF or truth tables for part (a) instead of BDDs.

Supervision 2

This supervision covers lectures 6 to 9. Please complete:

  • Exercises 20, 21, 23-25, 29, 30, 32, 34-38, 41, and 42 from the course notes.
  • y2018p6q9.
  • y2015p6q5.

I have also written up some additional notes.

Supervision 3

This supervision covers lectures 10 to 12, and exam practice. Please complete: