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
|