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

Schein: Der Schein für die Logikvorlesung wird erteilt, wenn mindestens 50% der Gesamtpunktzahl der Übungsaufgaben erreicht wurde und zusätzlich die Scheinklausur (auch Logiktest genannt) erfolgreich bestanden wurde. Zusätzlich zu den regulären Übungsaufgaben gibt es einige Zusatzaufgaben, mit denen man weitere Punkte erzielen kann.

Wir geben keine Auskunft über momentane Punktestände; notieren Sie sich deswegen bitte die erhaltenen Punkte.

Hier finden Sie die Musterlösungen des Logiktests. Es gab zwei Versionen der Aufgaben.