Berechenbarkeitstheorie
Sommersemester 2011

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.

Sommersemester 2011

Prof. Dr. Christoph Walther

Nathan Wasser

Ü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 (wird in neuem Tab geöffnet) Loesung 1 (wird in neuem Tab geöffnet)
28.04.2011 Uebung 2 (wird in neuem Tab geöffnet) Loesung 2 (wird in neuem Tab geöffnet)
05.05.2011 Uebung 3 (wird in neuem Tab geöffnet) Loesung 3 (wird in neuem Tab geöffnet)
12.05.2011 Uebung 4 (wird in neuem Tab geöffnet) Loesung 4 (wird in neuem Tab geöffnet)
19.05.2011 Uebung 5 (wird in neuem Tab geöffnet) Loesung 5 (wird in neuem Tab geöffnet)
26.05.2011 Uebung 6 (wird in neuem Tab geöffnet) Loesung 6 (wird in neuem Tab geöffnet)
09.06.2011 Uebung 7 (wird in neuem Tab geöffnet) Loesung 7 (wird in neuem Tab geöffnet)
16.06.2011 Uebung 8 (wird in neuem Tab geöffnet) Loesung 8 (wird in neuem Tab geöffnet)

Korrigierte Hausübungen

Hausübung Aufgabenblatt Abgabedatum Lösungsvorschlag
1 Hausuebung 1 (wird in neuem Tab geöffnet) 19.05.2011 Loesung 1 (wird in neuem Tab geöffnet)
2 Hausuebung 2 (wird in neuem Tab geöffnet) 27.06.2011 Loesung 2 (wird in neuem Tab geöffnet)

Termine in Klammern sind vorläufig und spiegeln den jetzigen Planungsstand wider.