Analyse und Verifikation
LVA 185.276, VU 2.0, ECTS 3.0, 2010 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 19. März 2010 für die Teilnahme an der Lehrveranstaltung "Analyse und Verifikation" anmelden. Bis zum 31. März 2010 können Sie sich gegebenenfalls auch wieder abmelden. Nach dem 31. März 2010 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 2010 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 2010 sind in zwei Formaten verfügbar.

Übungen

Übung
 
Aufgabenblatt vom
Abgabe Verfügbare Formate Hinweise und Bemerkungen
01.06.2010 08.06.2010 Blatt 7.pdf
Blatt 7.pdf.gz
Keine.
18.05.2010 01.06.2010 Blatt 6.pdf
Blatt 6.pdf.gz
Keine.
27.04.2010 11.05.2010 Blatt 5.pdf
Blatt 5.pdf.gz
Keine.
20.04.2010 27.04.2010 Blatt 4.pdf
Blatt 4.pdf.gz
Keine.
13.04.2010 20.04.2010 Blatt 3.pdf
Blatt 3.pdf.gz
Keine.
16.03.2010 13.04.2010 Blatt 2.pdf
Blatt 2.pdf.gz
Einladung zur Vorlesung From Domains to Requirements von Prof. Dines Bjørner, ACM Fellow, IEEE Fellow.
09.03.2010 16.03.2010 Blatt 1.pdf
Blatt 1.pdf.gz
Keine.

Zeit und Ort

Die gemeinsame Vorbesprechung für alle LVAs der Complang-Gruppe findet am Mittwoch, den 3. März 2010, von 13 Uhr bis 14 Uhr im Hörsaal EI4, 2. Stock, Altbau der Elektrotechnik, Gußhausstr. 25-29, statt.

Die Vorbesprechung (und im Anschluss daran die erste Vorlesung) für das Sommersemester 2010 finden am Dienstag, den 09.03.2010, 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 | Datenschutzerklärung | last update: 2018-05-28 (Knoop)