Thomas A. Sudkamp, Languages and Machines, Addison Wesley, derde editie (ISBN 0321322215). De stof die zal worden behandeld is:
| Turing Machines and Decidability | 8.1−8.7, 9.1−9.3, 11.1−11.5, 12.1−12.3 |
| μ-Recursive Functions | 9.4, 13.1−13.6 |
Een college bestaat uit een uur werkcollege gevolgd door een uur hoorcollege, of uit een uur responsiecollege gevolgd door een toets. De tijden in de week van de cursus zijn:
De cursus volgt de volgende lessentabel (onder voorbehoud):
| datum | werkcollege | hoorcollege | video |
| ma 3/9 | 8.1, 8.2, 8.3 | clip clip clip | |
| vr 7/9 | 8: 1, 2, 3bc, 4, 5ac, 6 | 8.4, 8.5, 8.6 | clip |
| ma 10/9 | 8: 8, 11, 14, 18 | 8.7 | clip clip* |
| vr 14/9 | 8: 19, 21, 25, 26, 27 | 9.1, 9.2, 9.3 | clip |
| ma 17/9 | 9: 1bc, 5ce, 6cf, 7b, 8c | 11.4, 11.5 | clip |
| vr 21/9 | 11: 9, 10, 11 | 12.1 | clip |
| ma 24/9 | 11: 12, 15 & 12.1 | 12.2, 12.3 | clip clip* |
| vr 28/9 | 12: 4, 5, 9 | 9.4 | clip |
| ma 1/10 | toets CC2 & HG00.304 | ||
| vr 5/10 | 9: 10a, 11b, 12b | 13.1, 13.2 | clip |
| ma 8/10 | 13: 2b, 3ab, 6ab, 8ad, 10 | 13.3, 13.4 | clip |
| vr 12/10 | 13: 11ae, 12a, 13 | 13.5, 13.6 | ** |
| ma 15/10 | 13: 16a, 17b, 19, 23 | 13.6 | clip |
| vr 19/10 | toets LIN1 & LIN6 |
* Deze clip behandelt stof die dit jaar niet bij de cursus hoort.
** Deze stof werd niet behandeld in het jaar dat de video's zijn opgenomen.
En hier is dezelfde tabel voor de oudere, tweede editie van Sudkamp:
| datum | werkcollege | hoorcollege | video |
| ma 3/9 | 9.1, 9.2, 9.3 | clip clip clip | |
| vr 7/9 | 9: 1, 2, 3bc, 4, 5ac, 6 | 9.4, 9.5, 9.6 | clip |
| ma 10/9 | 9: 12, 15, 10, 11 | 9.7 | clip clip* |
| vr 14/9 | 9: 16, 18, 24***, 25***, 26*** | 12.1, 12.2, 12.3 | clip |
| ma 17/9 | 12: 1bc, 2ce, 3cf, 4b, 5c | 11.2, 11.4 | clip |
| vr 21/9 | 11: 6, 7, 8 | 11.1, 11.3, 11.5 | clip |
| ma 24/9 | 11: 9, 10 & was er niet | 12.2, 12.3 | clip clip* |
| vr 28/9 | 11: 12, 13, 17 | 12.4 | clip |
| ma 1/10 | toets CC2 & HG00.304 | ||
| vr 5/10 | 12: 7a, 8b, 9b | 13.1, 13.2 | clip |
| ma 8/10 | 13: 1b, 2ab, 5ab, 6ad, 8 | 13.3, 13.4 | clip |
| vr 12/10 | 13: 9ae, 10a, 11 | 13.5, 13.6 | ** |
| ma 15/10 | 13: 14a, 15b, 17, 21 | 13.6 | clip |
| vr 19/10 | toets LIN1 & LIN6 |
*** Als er twee opgaven 20 zijn gaat het hier om opgaven 23, 24 en 25.
Het eindcijfer is
Zowel de toetsen als het tentamen zijn "gesloten boek".
