[an error occurred while processing this directive]
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

[an error occurred while processing this directive] englishicon
 

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.