Advanced topics in theoretical computer science

Exercise sheets

  • Exercise sheet 1 [ex1.pdf]
  • Exercise sheet 2 [ex2.pdf]
  • Exercise sheet 3 [ex3.pdf]
  • Exercise sheet 4 [ex4.pdf]
  • Exercise sheet 5 [ex5.pdf]
  • Exercise sheet 6 [ex6.pdf]
  • Exercise sheet 7 [ex7.pdf] (Some comments added on 8.12.2013)
  • Exercise sheet 8 [ex8.pdf]
  • Exercise sheet 9 [ex9.pdf]
  • Exercise sheet 10 [ex10.pdf]
  • Exercise sheet 11 [ex11.pdf]
  • Exercise sheet 12 [ex12.pdf]
  • Exercise sheet 13 [ex13.pdf]
  • Exercise sheet 14 [ex14.pdf] (a selection of examples of types of exercises which could come up in the exam)
    solutions to Exercise 14 can be submitted until Monday, 10.02.2014
    • Recapitulative exercises (previous exams)
  • Register machines: [ex-register-machines.pdf]
  • Primitive functions; mu-recursive functions [ex-recursion.pdf]
  • Computability and (un)decidability: [ex-undecidability.pdf]
  • Complexity: [ex-complexity.pdf]