en | de

Computability Theory

master program

VO3  WS 2014/2015  703796


Description

The course will introduce and relate different models of computation:


Schedule

week date slides exercises solutions remarks
1 06.10 pdf (1x1, 4x1) pdf pdf
2 13.10 pdf (1x1, 4x1) pdf pdf
3 20.10 pdf (1x1, 4x1) pdf pdf
4 27.10 pdf (1x1, 4x1) pdf pdf
5 03.11 pdf (1x1, 4x1) pdf pdf 13.11: solution 2(c) improved
6 10.11 pdf (1x1, 4x1) pdf pdf
7 17.11 pdf (1x1, 4x1) pdf pdf
8 24.11 pdf (1x1, 4x1) pdf pdf
9 01.12 pdf (1x1, 4x1) pdf pdf
10 15.12 pdf (1x1, 4x1) pdf pdf solution 5(e) by Alexander Maringele
11 12.01 pdf (1x1, 4x1) pdf pdf
12 19.01 pdf (1x1, 4x1) pdf pdf
13 26.01 pdf (1x1, 4x1)
14 24.02 (exam)

Literature

The slides will be made available online. The same holds for solutions to selected exercises.