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 2004/05)

Prof. Javier Esparza und Dr. Dirk Nowotka

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

Schein: Der Schein für die Logikvorlesung wird erteilt, wenn mindestens 50% der Gesamtpunktzahl bei den regulären Übungsaufgaben erreicht und den Leistungstest erfolgreich bestanden wurde. Zusätzlich zu den regulären Übungsaufgaben gibt es Zusatzaufgaben, mit denen man weitere Punkte erzielen kann. Der Leistungstest findet am 9.2.2005 (14:15 Uhr) im Raum V53.01 statt.

Es gab insgesamt 35 Punkte im Logiktest und der Test gilt als bestanden, wenn 17 oder mehr Punkte erreicht wurden. Sie erhalten eine Schein für die Logikvorlesung, wenn Sie den Test bestanden und 50% der Punkte in den Übungen erreicht haben. Hier finden Sie die Liste der Logikergebnisse.

Hier finden Sie die Musterlösungen des Logiktest. Es gab zwei Versionen von Aufgabenblättern.