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 2005/06)

Prof. Javier Esparza und Tobias Heindel

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

[16.02.06]  

Musterlösung der Scheinklausur:
Version A
Version B

[13.02.06]  

Bei der Klausur sind keine Hilfsmittel erlaubt.

[08.02.06]  

Informationen zur Scheinklausur

Die Scheinklausur findet am Dienstag, 14.02.2006, in den Hörsälen 47.01 und 7.02 statt.
Bitte kommen Sie um 13:50 Uhr in folgender Aufteilung zu den Hörsälen:

  • Übungsgruppen 1 bis 4 (1a, 1b, 2a, 2b, 3a, 3b, 4a, 4b): Hörsaal 47.01
  • Übungsgruppen 5 bis 7 (5a, 5b, 6a, 7a): Hörsaal 7.02

[19.01.06]  

Beachten Sie das Update von Blatt 7!

[17.01.06]  

Blatt 7 liegt auf den Tischen gegenüber Raum 1.024.

[19.12.05]  

Die Vorlesung am 22.12.05 fällt leider aus und wird im kommenden Januar am 26.01.06 nachgeholt.

[15.12.05]  

Dieses Jahr finden keine Übungen mehr statt. Im neuen Jahr beginnen die Übungen mit den A-Gruppen in der Woche vom 09.–13. Januar 2006.
Frohe Weihnachten und einen Guten Rutsch in das neue Jahr.

[12.12.05]  

Beachten Sie das Blatt 5 update bei den » ÜBUNGEN.

[01.12.05]  

Aufmunternde Worte: Blatt 4 war in der Tat ein bißchen schwieriger. Blatt 5, das letzte Blatt zur Aussagenlogik, wird "genügend" "einfache" Zusatzpunkte haben.

[30.11.05]  

Hinweis: Der Abschnitt 4 (Deduktionstheorem) und die Lemmas 5.2 und 5.3 der Hilbert Kalkül-Ergänzung sind nicht prüfungsrelevant.

[09.11.05]  

Achtung: Prüfen Sie, ob Sie einen eClaus-account für Logik haben!

[09.11.05]  

Beachten Sie für nächsten Dienstag die » TERMINE.

[03.11.05]  

Bitte für die Abgaben heute, die aktuelle Gruppenliste beachten. Gruppen ([PS]).

[27.10.05]  

f Die Übungsgruppe 5b findet heute um 14:00 Uhr in Raum 0.118 statt.

[22.10.05]  

Das Übungsblatt enthielt einen Fehler, und zwar waren beim Beweis zum Gegenbeispiel am Ende S und P vertauscht. Jetzt steht's richtig im Netz (siehe » ÜBUNGEN)

[21.10.05]  
Ab jetzt sind alle Termine bis Weihnachten unter » TERMINE einsehbar.

[21.10.05]  
Achtung:
Bereits nächste Woche finden alle a-Gruppen statt;
siehe Vorläufiger Stand der Gruppenanmeldung ([PS]).

[19.10.05]   Die Anmeldung für die Übungsgruppen erfolgt über folgendes Web-Interface. ANMELDUNG

[11.10.05]   Die Donnerstagstermine sind jetzt auf unter Termine aufgeführt.

[10.10.05]   Die Vorlesung am Dienstag, den 18. Oktober um 9.45 Uhr wird auf Donnerstag, den 20. Oktober um 9.45 Uhr verlegt.

[08.07.05]   Bevor Sie e-mails an Tutoren schreiben sollten Sie sich hier über Neuigkeiten informieren.