- Tutorial 1, Thursday 01/03/2007. Handout, model answers. Four examples of identifying the language of a DFA and formally proving correctness.
- Tutorial 2, Thursday 08/03/2007. Handout, model answers. Four examples of constructing a DFA to recognise and proving correctness.
- Tutorial 3, Thursday 15/03/2007. Handout, model answers. Two examples of identifying the language of a Turing machine and proving correctness.
- Tutorial 4, Thursday 22/03/2007. Handout, model answers. Two examples of constructing a Turing machine to recognise a language and proving correctness.
- Tutorial 5, Thursday 29/03/2007. Assignment 1 question and answer.
- Tutorial 6, Thursday 5/04/2007. Assignment 1 solutions.
- Tutorial 7, Thursday 26/04/2007. Assignment 2 solutions.
- Tutorial 8, Wednesday 2/05/2007. Test preparation.
- Tutorial 9, Thursday 10/05/2007. Handout, model answers. Uncountability, diagonalisation, halting problem.
- Tutorial 10, Thursday 17/05/2007. Handout. P and NP.