Analyse und Verifikation
LVA 185.276, VU 2.0, ECTS 3.0, 2009 S
MSE/W

(zweistündige Vorlesung mit Übung; siehe auch TUWIS++/185.276)

Haben Sie Interesse an einem geförderten Auslandsstudium?

Informationen zu Fördermöglichkeiten finden Sie hier.

 

Anmeldesystem freigeschaltet!

Das elektronische Anmeldesystem ist freigeschaltet. Sie können sich ab sofort bis zum 20. März 2009 für die Teilnahme an der Lehrveranstaltung "Analyse und Verifikation" anmelden. Bis zum 31. März 2009 können Sie sich gegebenenfalls auch wieder abmelden. Nach dem 31. März 2009 gehe ich davon aus, dass Sie die Lehrveranstaltung fest in Ihren Stundenplan aufgenommen haben und sie erfolgreich bis zum Ende besuchen wollen.

Zum Anmeldesystem.

Vorlesungstermine

Inhalt

Im Mittelpunkt der Vorlesung stehen die Konzepte von Korrektheit, Vollständigkeit und Optimalität in

Ziele

Voraussetzungen

Sie sollten mitbringen:

Lehrbehelfe

Vorlesungsfolien

Die Vorlesungsfolien für das SS 2009 werden im Lauf des Semesters als Gesamtdokument in zwei Formaten zur Verfügung gestellt: (Die Folien werden im Lauf des Semesters bei Bedarf aktualisiert.)

Folien Vorbesprechung

Die Folien zur Vorbesprechung für das SS2009 sind in zwei Formaten verfügbar:

Übungen

Übung
 
Aufgabenblatt vom
Abgabe Verfügbare Formate Hinweise und Bemerkungen
17.06.2009 24.06.2009 Blatt 8.pdf
Blatt 8.pdf.gz
Keine.
10.06.2009 17.06.2009 Blatt 7.pdf
Blatt 7.pdf.gz
Keine.
04.06.2009 10.06.2009 Blatt 6.pdf
Blatt 6.pdf.gz
Keine.
28.05.2009 03.06.2009 Blatt 5.pdf
Blatt 5.pdf.gz
Keine.
06.05.2009 27.05.2009 Blatt 4.pdf
Blatt 4.pdf.gz
Keine.
06.05.2009 27.05.2009 Blatt 3.pdf
Blatt 3.pdf.gz
Keine.
24.04.2009 06.05.2009 Blatt 2.pdf
Blatt 2.pdf.gz
Keine.
17.03.2009 31.03.2009 Blatt 1.pdf
Blatt 1.pdf.gz
Keine.

Zeit und Ort

Die Vorbesprechung (und im Anschluss daran die erste Vorlesung) für das Sommersemester 2009 finden am Dienstag, den 10.03.2009, von 13:30 Uhr bis 15:00 Uhr im FH Hörsaal 4 im Freihaus, Wiedner Hauptstr. 8, 1040 Wien, statt. Dieser Dienstagstermin und Ort ist auch der regelmäßige Vorlesungstermin und -ort.

Anrechenbarkeit

Die LVA ist anrechenbar als Wahllehrveranstaltung im Masterstudium "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
Sprechstunde
wiederholte LVAs:
Fortg. fkt. Programmierung
Analyse u. Verifikation
Seminar aus Prog.sprachen
Grundl. meth. Arbeitens
Sonstige
Schnellzugriff:
TUWIS++
voriges Semester
voriges Jahr
top | HTML 4.01 | last update: 2014-05-04 (Knoop)