Fakultät für Informatik

TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

TUM

Vorlesung | Wintersemester 2006/2007
Formale Methoden
(Exklusiv für den Elitestudiengang Software Engineering)

 

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


© Software & Systems Engineering Research Group
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2007-05-08 15:12:48