Vorlesung
Dozent: |
Prof. Dr. Dr. h.c. Manfred Broy |
Bereich: |
Formale Methoden |
Art: |
Pflichtvorlesung, 2V+2Ü Std. |
Turnus: |
Jährlich |
Beginn Vorlesung: |
23.10.2006 |
Zeit Vorlesung: |
Montags, 14:00 c.t. - 16:00 Uhr |
Ort Vorlesung: |
MI 01.11.018, "Konrad Zuse" (Fakultät f. Mathematik & Informatik, TUM Campus Garching) |
Hörerkreis: |
Studenten des Elitestudiengangs Software Engineering im 1. Semester. |
Voraussetzungen: |
Nur für Studenten des Elitestudiengangs Software Engineering. |
Übungsleitung: |
Alexander Gruler und Bernd Spanfelner |
Beginn Zentralübung: |
23.10.2006 |
Zeit Zentralübung: |
Montags, 16:00 c.t. - 18:00 Uhr, im Anschluß an die Vorlesung. |
Ort Zentralübung: |
MI 01.11.018, "Konrad Zuse" (Fakultät f. Mathematik & Informatik, TUM Campus Garching) |
Scheinkriterium: |
Bestehen der Klausuren; Gewichtung: Midterm 1/3, Final 2/3 |
(Notenbonus über freiwillige Abgabe von Hausaufgaben möglich.) |
|
Klausuren: |
1.) Midterm: Montag, 18.12.2006, anstatt der Übung bzw. Vorlesung. |
2.) Final: Dienstag, 27.02.2007, 10:00 - 12:00 Uhr, Raum MI HS 2 |
|
Aktuelle Informationen
|