| Algemeen | Hier |
| College 1 | Hoofdstuk 1: DFA's en reguliere talen. Extra: de bachelorscriptie van Martijn Houtepen over oneindige automaten. |
| Werkcollege 1 | Hoofdstuk 1: 1-6. |
| Inleveropgave 1 | Vervalt. |
| College 2 | Vervalt. |
| College 3 | Hoofdstuk 1: NFA's en reguliere expressies. |
| Werkcollege 2 | Hoofdstuk 1: 7-8, 9a, 10ab, 12-13, 15. |
| Inleveropgave 2 | Inleverdatum 16 Februari: ici. |
| College 4 | GFA's en het Pomplemma. Slides. Extra: oefenen met eindige automaten kan met jflap. |
| Werkcollege 3 | Hoofdstuk 1: 16-24, 28-30, 31-32, 40-42, 46 en voor de heel dapperen 45 en 64a-c. |
| Inleveropgave 3 | Inleverdatum 23 Februari: här. |
| College 5 | PDA's en grammatica's. Het college vindt plaats in BBL 205. | College 6 | Ambiguiteit, equivalentie PDA's en grammatica's. Het college vindt vanaf nu altijd plaats in BBL 205. Extra: een opgave, voor de eer en de koekjes. |
| Werkcollege 4 | Hoofdstuk 2: 1-6, 8, 12-13, 16, 18, 20, 25, 30-31, 34. |
| Inleveropgave 4 | Inleverdatum 2 Maart: koko. |
| College 7 | Het Pomplemma voor CFL's en wat nog ter tafel komt. Slides. |
| College 8 | TM's, configuraties, recursief opsombaar, beslisbaar, de Church-Turing these. Aanrader: het boek Universal Computers van Martin Davis. Slides. |
| Werkcollege 5 | Hoofdstuk 3: 1-8. |
| Inleveropgave 5 | Inleverdatum 9 Maart: εδώ. |
| College 9 | Berekenbare functies, multi-tape en niet-deterministische TM's en enumeratoren. Wel aardig: Enigma, over het kraken van de Enigma code (op z'n Hollywoods), waaraan Turing meewerkte. | College 10 | De tussentoets duurt twee uur (11:00-13:00) en vindt plaats in Unnik Groen. De stof staat bovenaan bij Algemeen. |
| Werkcollege 6 | Hoofdstuk 3: 9-20, 22. |
| Inleveropgave 6 | Vervalt. |
| College 11 | Een extra werkcollege, waarin ook de tussentoets wordt behandeld. | College 12 | Universele TM's, Game of Life, beslisbare talen. Extra: een artikel over de universaliteit van Conway's Game of Life. Slides. |
| Werkcollege 7 | Hoofdstuk 4: 1-13. |
| Inleveropgave 7 | Inleverdatum 23 Maart: aqui. |
| College 13 | Let op: Maandag 22 Maart in Ruppert Wit 17:15-19:00. Onbeslisbare talen, talen die niet TM-herkenbaar zijn. | College 14 | Reducties, tijdcomplexiteit |
| College 15&16 | De hoorcolleges op Donderdag 25 en Dinsdag 30 Maart vervallen. Het werkcollege op Dinsddag 30 Maart vindt wel plaats. |
| Werkcollege 8 | Dinsdag 30 Maart. Hoofdstuk 4: 1-2, 4-7, 9-12. Hoofdstuk 5: 1. |
| Inleveropgave 8 | Inleverdatum 30 Maart: here. |
| College 17 | Donderdag 1 April. De tijdcomplexiteitsklassen P, NP, EXP, complexiteitsvergelijking TM's, MTM's en NTM's, de talen SAT, CLIQUE en PATH. (p.251-264,p.271-272). |
| College 18 | Dynamisch programmeren, NP-volledigheid, P versus NP. Extra: een artikel van Stephen Cook over het P versus NP probleem. | Studiedag | Woensdag 7 April: oefententamens maken. |
| College 19 | NP-volledigheid SAT en CLIQUE, RSA. Extra: de complexiteit van het Traveling Salesman Probleem TSP. |
| Werkcollege 9 | Hoofdstuk 5: 2, 4-7. Hoofdstuk 7: 1, 4-11, 14-15, 17, 19. |
| Inleveropgave 9 | Vervalt. |
| College 20 | Extra college op Vrijdag 9 April in Ruppert Blauw 15:15-17:00: samenvatting en vragenuurtje. |