AK der Praktischen Informatik 1
LVA 185.259, VU 1.0, 2005 W
AK der Praktischen Informatik 1: Analyse und Verifikation
(einstündige Vorlesung mit Übung; siehe auch
TUWIS++/185.259)
more@informatics
- Ein Programm für Studierende, die mehr vom
Studium wollen!
Siehe
Zeit und Ort.
Das Anmeldesystem ist freigeschaltet!
Zum Anmeldesystem.
Inhalt
Im Mittelpunkt der Vorlesung stehen die Konzepte von
Korrektheit,
Vollständigkeit und
Optimalität in
- Programmverifikation
Methode von Hoare (soundness,
completeness), stärkste Nachbedingungen, schwächste
Vorbedingungen,...
- Programmanalyse
Datenflussanalyse, erschöpfende
vs. anforderungsgetriebene Analyse (exhaustive vs. demand-driven
analysis), intraprozedural, interprozedural, parallel, abstrakte
Interpretation, Model-checking,...
- Programmtransformation, speziell in der Optimierung
Ziele
- Üblick über fundamentale Prinzipien und Konzepte
in Programmverifikation, -analyse und -transformation
- Herausarbeiten und Verstehen von Gemeinsamkeiten, Analogien
und Unterschieden zwischen Programmverifikation und -analyse
- Erkennen und Einschätzen der Möglichkeiten und Grenzen
insbesondere automatischer Programmanalyse (und Optimierung)
Voraussetzungen
Sie sollten mitbringen:
- Grundlagen in Theoretischer Informatik, grundlegende
Programmierkenntnisse
- Kenntnisse im Übersetzerbau sind hilfreich, etwa
aus der LVA Übersetzerbau (185.175 LU 3.0h bzw.
185.548 VO 2.0h), aber nicht zwingend erforderlich
- Abgeschlossenes Bakkalaureat, falls Anrechnung für
Magisterstudium geplant
Eine perfekte Ergänzung in diesem Semester...
Weiters bietet sich die Vorlesung insbesondere für
Teilnehmer der Lehrveranstaltungen
185.548
VO Übersetzerbau und
185.175 LU
Übersetzerbau zur Vertiefung an.
Eine vorausgegangene (oder gleichzeitige) Teilnahme an diesen
Veranstaltungen ist hilfreich, aber nicht Voraussetzung.
Lehrbehelfe
In der Vorlesung verwendete Folien und Aufgabenstellungen für den
Übungsteil werden während der Lehrveranstaltung wöchentlich auf
dieser
Seite zur Verfügung gestellt. Auch die Folien zur
Vorbesprechung zu dieser Lehrveranstaltung
finden Sie dort.
Die Vorbesprechung für das Wintersemester
2005/2006 wird am Montag, den 10.10.2005, von 16:15 Uhr bis 16:45 Uhr
im
EI 6
Eckert Hörsaal in der Gußhausstraße stattfinden
(
detaillierter
Lageplan).
Die Vorlesungen finden danach wöchentlich montags von 16:00 Uhr
c.t. bis 18:00 Uhr beginnend mit dem 17.10.2006 ebenfalls im
EI 6 Eckert
Hörsaal statt. Die Anmeldung zur Vorlesung wird
über ein elektronisches Anmeldesystem erfolgen. Dieses Anmeldesystem
wird nach der Vorbesprechung über diese Webseite erreichbar sein.
Der Anmeldezeitraum wird ausreichend lang sein und voraussichtlich
bis zum Freitag, den 21. Oktober 2005, dauern.
Anrechenbarkeit
Die LVA ist anrechenbar als
Wahllehrveranstaltung
für folgende
Bakkalaureatsstudien:
- Data Engineering & Statistics (BDS/W)
- Software & Information Engineering im Schwerpunkt
"Software Engineering" (BSIa/W)
- Medizinische Informatik (BZI/W)
Die LVA ist anrechenbar als
Wahllehrveranstaltung
für folgendes
Magisterstudium:
- Software Engineering & Internet Computing (MSE/W)
Prüfungen
Die Prüfungen zur Lehrveranstaltung sind mündlich
und werden voraussichtlich in der letzten Vorlesungswoche stattfinden.
Andere Termine sind nach Absprache möglich.
Vortragender
Jens Knoop, Tel.: 58801-18510, E-mail:
knoop@complang.tuwien.ac.at
