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 2006/07)

Prof. Javier Esparza und Stefan Kiefer

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

Vorlesung:
Di 09:45-11:15 im Raum V38.01
Do 09:45-11:15 (14-tägig) im Raum V38.01

Die Vorlesung findet 2006 an folgenden Tagen statt:
17.10.2006 19.10.2006
24.10.2006
31.10.2006 02.11.2006
07.11.2006 09.11.2006
16.11.2006
21.11.2006
28.11.2006 30.11.2006
05.12.2006
12.12.2006 14.12.2006
19.12.2006

Die Vorlesung findet 2007 an folgenden Tagen statt:
09.01.2007 11.01.2007
16.01.2007
23.01.2007 25.01.2007
30.01.2007
06.02.2007 08.02.2007
13.02.2007

Beachten Sie bitte, dass sich Termine ändern können.

Die Scheinklausur (auch Logiktest genannt) findet am Mittwoch, 07.02.2007, 14:00 Uhr statt, und zwar in den Hörsälen 53.01 und 57.03.