Organisation
Prof. Dr. Christoph Walther
Markus Aderhold
Allgemeines
Die Vorlesung hat den Umfang V3+Ü1, findet jedoch während des folgenden Zeitraums im Turnus V4+Ü2 als Blockveranstaltung statt, d. h. wöchentlich 2 Vorlesungen sowie 1 Übungsdoppelstunde:
Erste Vorlesung: Dienstag, 14.04.2009
Letzte Vorlesung: Dienstag, 23.06.2009
Die Vorlesung orientiert sich an dem Skript „Recursion, Induction, Verification”.
Vorlesungstermine
Montag 13:30–15:00 Uhr in Raum S2|02/A213
Dienstag 11:40–13:10 Uhr in Raum S2|02/A126
Einmalige Verlegungen
Die Übung am 09.06.2009 findet in Raum S2|02/A306 statt.
Am Montag, den 25.05.2009 findet die Vorlesung von 13:30–15:00 Uhr in Raum S2|02/E102 statt.
Am Dienstag, den 28.04.2009 findet keine Vorlesung statt.
Materialien
Skript zur Vorlesung
Definition des E-Kalküls
Übungen
Präsenzübungen
Die Übungen finden an folgenden Terminen (jeweils dienstags) von 14:25 bis 16:05 Uhr in Raum S2|02/A213 statt.
| Übung | Datum |
|---|---|
| Übung 1 (wird in neuem Tab geöffnet) | 28.04.2009 |
| Übung 2 (wird in neuem Tab geöffnet) | 05.05.2009 |
| Übung 3 (wird in neuem Tab geöffnet) | 19.05.2009 |
| Übung 4 (wird in neuem Tab geöffnet) | 26.05.2009 |
| Übung 5 (wird in neuem Tab geöffnet) | 02./09.06.2009 |
| Übung 6 (wird in neuem Tab geöffnet) | 23.06.2009 |
| Übung 7 (wird in neuem Tab geöffnet) | 30.06.2009 |
Hinweis: Termine in Klammern sind vorläufig und spiegeln den jetzigen Planungsstand wider.
Hausübungen
Die Hausübungen werden korrigiert und mit Punkten bewertet. Eine Mindestzahl von erworbenen Punkten aus den Hausübungen ist Zulassungsvoraussetzung für die Semestralklausur am Ende der Vorlesungszeit.
| Übung | fällig am |
|---|---|
| Hausübung 1 (wird in neuem Tab geöffnet) | 05.05.2009 |
| Hausübung 2 (wird in neuem Tab geöffnet) | 19.05.2009 |
| Hausübung 3 (wird in neuem Tab geöffnet) | 26.05.2009 |
| Hausübung 4 (wird in neuem Tab geöffnet) | 02.06.2009 |
| Hausübung 5 (wird in neuem Tab geöffnet) | 23.06.2009 |
| Hausübung 6 (wird in neuem Tab geöffnet) | 30.06.2009 |
