Supervisions 2020-2021

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

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 exam conditions, whatever those may be this year. All question ranges are inclusive, e.g. exercises 1-4 means exercises 1, 2, 3, and 4.

Supervision 1

This supervision covers lectures 1 to 5. Please complete:

  • Exercises 1, 3, 4, 7, 8 (you may assume the truth tables), 10, 12, 13, and 15-19 from the course notes.
  • y2017p6q6, parts (b) and (c).

Supervision 2

This supervision covers lectures 6 to 9. Please complete:

  • Exercises 20, 24, 25, 29, 30, 32, 34-37, 41, and 42 from the course notes.
  • y2018p6q9, parts (a) and (c).
  • y2015p6q5.
  • y2019p6q9, part (a).

I have also written up some additional notes/hints. Please only refer to this after you have completed your supervision work, as it contains answers to some of the questions.

Supervision 3

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