Bild mit Unilogo
homeicon uni sucheicon suche siteicon sitemap kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

Abteilung Sichere und Zuverlässige Softwaresysteme

 

Vorlesung Logik (WS 2008/09)

Martin Leucker
Walter Reuß und Benjamin Hoffmann

Email an: logik@honolulu.informatik.uni-stuttgart.de

[15.10.08] Die Vorlesung beginnt am 16.10.08 um 09:45 in V38.01.
[16.10.08] Die Ergänzungen beginnen am 29.10.08 um 15:45 in V38.04.
[16.10.08] Die Ergänzung vom 5.11. wird auf den 4.11. um 09:45 Uhr in V38.01 vorverlegt. Die Vorlesung findet an diesem Termin nicht statt.
[12.12.08] Am 17.12. findet aufgrund der Info I Testklausur keine Ergänzung statt.
[13.01.09] Die Wirtschaftinformatiker schreiben den Logikteil der Klausur Theorie A der Informatiker und Softwartechniker mit. Termine findet man hier. Sie dürfen zwei beidseitig beschriebene DIN A4-Zettel mit Notizen in die Klausur mitnehmen. Ferner müssen sie nach Abgabe ihrer Klausur bis zum Ende der Klausur im Klausurraum verweilen.
[15.01.09] Am 28.01. findet aufgrund der zweiten Info I Testklausur keine Ergänzung statt.