Description
The course will introduce and relate different models of computation:
- recursive function theory
- lambda calculus
- combinatory logic
- LOOP/WHILE programs
- term rewrite systems
Schedule
| week | date | slides | exercises | solutions | remarks |
|---|---|---|---|---|---|
| 1 | 02.10 | ||||
| 2 | 09.10 | ||||
| 3 | 16.10 | ||||
| 4 | 30.10 | ||||
| 5 | 06.11 | ||||
| 6 | 13.11 | ||||
| 7 | 20.11 | ||||
| 8 | 27.11 | ||||
| 9 | 04.12 | ||||
| 10 | 11.12 | ||||
| 11 | 08.01 | ||||
| 12 | 15.01 | ||||
| 13 | 22.01 | exam practice | |||
| 14 | 29.01 | no lecture |