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

(zweistündige Vorlesung mit Übung; siehe auch TISS/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 18. März 2011 für die Teilnahme an der Lehrveranstaltung "Analyse und Verifikation" anmelden. Bis zum 31. März 2011 können Sie sich gegebenenfalls auch wieder abmelden. Nach dem 31. März 2011 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

Eine allgemeine Vorbesprechung zu allen vom Arbeitsbereich Programmiersprachen und Übersetzer im SS 2011 angebotenen Lehrveranstaltungen findet am Mittwoch, den 02.03.2011, von 13-14 Uhr s.t. im Hörsaal EI4 in der Gußhausstr. 25-29 statt.

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 2011 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 SS 2011 sind in zwei Formaten verfügbar.

Übungen

Übung
 
Aufgabenblatt vom
Abgabe Verfügbare Formate Hinweise und Bemerkungen
24.05.2011 31.05.2011 Blatt 6.pdf
Blatt 6.pdf.gz
Keine.
17.05.2011 24.05.2011 Blatt 5.pdf
Blatt 5.pdf.gz
Keine.
10.05.2011 17.05.2011 Blatt 4.pdf
Blatt 4.pdf.gz
Keine.
20.04.2011 10.05.2011 Blatt 3.pdf
Blatt 3.pdf.gz
Keine.
22.03.2011 05.04.2011 Blatt 2.pdf
Blatt 2.pdf.gz
Keine.
15.03.2011 22.03.2011 Blatt 1.pdf
Blatt 1.pdf.gz
Keine.

Zeit und Ort

Zeit, Ort der Vorlesung und der Termin für die Vorbesprechung stehen noch nicht fest. Sie werden ebenso wie Informationen zur Anmeldung rechtzeitig auf dieser Seite bekanntgegeben.

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:
TISS
voriges Semester
voriges Jahr
top | HTML 4.01 | last update: 2014-05-04 (Knoop)