Materialien
Vorlesung
Die Vorlesung orientiert sich an dem Skript „Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit”, auch als druckerfreundliche 2-auf-1 Version verfügbar. Änderungen bzgl. der Vorversion des Skripts vom März 2011 sind in „Berechenbarkeit_SS2011-03-29-annotiert.pdf” vermerkt.
Übung
Zur Präsenzübung bringen Sie bitte das aktuelle Übungsblatt ausgedruckt oder auf einem tragbaren Rechner mit.
| Übung | Übungsblatt | Lösungsvorschlag |
| 21.04.2011 | Uebung 1 | Loesung 1 |
| 28.04.2011 | Uebung 2 | Loesung 2 |
| 05.05.2011 | Uebung 3 | Loesung 3 |
| 12.05.2011 | Uebung 4 | Loesung 4 |
| 19.05.2011 | Uebung 5 | Loesung 5 |
| 26.05.2011 | Uebung 6 | Loesung 6 |
| 09.06.2011 | Uebung 7 | Loesung 7 |
| 16.06.2011 | Uebung 8 | Loesung 8 |
Korrigierte Hausübungen
| Hausübung | Aufgabenblatt | Abgabedatum | Lösungsvorschlag |
| 1 | Hausuebung 1 | 19.05.2011 | Loesung 1 |
| 2 | Hausuebung 2 | 27.06.2011 | Loesung 2 |
Termine in Klammern sind vorläufig und spiegeln den jetzigen Planungsstand wider.