TU München - Fakultät für
Informatik |
Home | Forschung/Kompetenz | Lehre | Personen | Publikationen | Abschlussarbeiten | Sonstiges | Kontakt | |
Vorlesung | Wintersemester 2003/04 |
|
Vorlesung
Die Übung in dieser Woche wird verschoben von Donnerstag auf Freitag, den 6.2.2004. Raum 01.11.018 15:00 bis 16:30 UhrDen Schein über die erfolgreiche Teilnahme an der Vorlesung und den Übungen zur Vorlesung erhalten Sie mit dem Bestehen der Semestralklausur. Der Klausurtermin ist Donnerstag, 12. Februar 2004 zur Übungszeit, also von 13:00-15:00 Uhr im Raum MI 00.04.011Zur Klausur sind Bücher und eigene Skripten zugelassen. Die Aufgaben werden zu Themen des gesamten Vorlesungsstoffes gestellt und orientieren sich an den Aufgaben der Übungsblätter.Bitte melden Sie sich verbindlich zu der Klausur an. Durch eine Mail (mit Name und Matrikelnummer ) an Katharina Spies (spiesk@in.tum.de). Am 4.12.2003 fällt die Übung wegen des Dies Academicus aus! Es ist sinnvoll, sich mit den Übungsaufgaben auseinander zu setzen und die Übung zu besuchen, um sich den Vorlesungsstoff zu erarbeiten; dazu empfiehlt sich auch ein Blick in die Literatur. Für Fragen stehen die Übungsleiter nach der Zentralübung zur Verfügung. Inhalt: Ziel der Vorlesung ist es, Methoden der Spezifikation, Modularisierung, Abstraktion, Verfeinerung und Verifikation sowohl in der funktionalen als auch der imperativen Programmierung zu vermitteln. Dabei spielen sowohl die formale Anforderungsdefinition (Spezifikation) als auch der Korrektheitsbeweis (Verifikation) von Implementierungen bezüglich ihrer Spezifikation eine zentrale Rolle.
Voraussetzungen: Inhalte der Informatikvorlesungen bis zum Vordiplom Empfehlenswert als Grundlage für Programmierung und Software Engineering.
|