This time we will look at exercises from some old exams:
Exercise 1 from the exam from December 2010.
Exercise 2 from the exam from December 2010.
Exercise 5 from the exam from April 2010.
Exercise 3 from the exam from December 2010.
Exercise 9 from the exam from December 2010.
Exercise 6 from the exam from April 2014.
Exercise 7 from the exam from April 2010.
Exercise 1 from the exam from December 2013.
(Note that the course used to have less focus on Turing machines, and also less focus on proofs of non-computability.)