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

Prof. Javier Esparza und Dr. Dirk Nowotka

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

[28.02.06]   Hier sind Klausur und Lösungsvorschläge für die Klausur vom 28.02.06: Klausuraufgaben [PS], Lösungsvorschlag [PS].

[07.03.06]   Die Ergebnisse der Klausur sind jetzt am Sekretariat Esparza, Raum 1.353, aushängt. Die Klausureinsicht ist Donnerstag, 16. März, 10-12 Uhr.

[2.11.05]   Ab sofort hängen die Ergebnisse der Klausur "Theoretische Informatik A" vom 11.10.05 aus (Sekretariat Prof. Esparza, Raum 1.353). Die Klausureinsicht findet am Dienstag, den 8.11., von 14-15 Uhr im Raum 0.108 statt.

Ebenfalls erhältlich: Klausuraufgaben [PDF], Lösungsvorschlag [PDF]

[3.3.05]   Ab heute hängen die Ergebnisse der "Theoretische Informatik A" Klausur vom 22.2.05 aus (Sekretariat Prof. Esparza, Raum 1.353).

[23.2.05]   Sie können ab heute Ihren Logikschein im Sekretariat von Prof. Esparza (Raum 1.353) abholen. Das Sekretariat ist vormittags (bis 12:30 Uhr) besetzt.

[16.2.05]   Ihren Logikschein erhalten Sie demnächst im Sekretariat von Prof. Esparza. Die Scheine sind noch nicht geschrieben, aber wir werden Ihnen auf dieser Webseite mitteilen, wann Ihre Scheine zur Verfügung stehen.

Sie brauchen Ihren Schein erst zur Klausur für Logik und Theoretische Informatik am Ende des Sommersemesters 2005. Sie haben bis dahin Zeit, Ihren Schein abzuholen. Es gibt auch kein Verfallsdatum für Ihren Schein, Sie können sich also Zeit lassen.

[16.2.05]   Für alle diejenigen, die sich zur Einsicht Ihrer Ergebnisse beim Logiktest angemeldet haben, findet die Einsicht am Donnerstag, dem 17.2.05, um 9:45 Uhr im Raum 1.168 statt.

[14.2.05]   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. Die Ergebnisse des Logiktests finden Sie hier.

Falls Sie keinen Logikschein erhalten und der Meinung sind, dass Sie genügend Punkte für einen Schein hätten (sowohl in den Übungen als auch dem Test), dann schreiben Sie uns eine Email bis Mittwoch, dem 16.2.05, mittag, und wir werden dann eine Einsicht am Donnerstag für Sie organisieren.

[10.2.05]   Die Ergebnisse des Logiktests werden von Montag bis Donnerstag unter "SCHEIN" veröffentlicht.

[9.2.05]   Sie finden die Musterlösungen zum Logiktest unter "SCHEIN".

[8.2.05]   Die Matrikelnummern der Studenten, die genügend Punkte in den Logikübungen zum Scheinerwerb (bei bestandener Testklausur) erhalten haben, sind bis morgen unter "SCHEIN" zu finden.

[14.1.05]   Überprüfen Sie bitte Ihren Punktestand, um sicherzugehen, dass Sie mindestens 50% erreichen! Es wird 7 Übungsblätter mit insgesamt 210 erreichbaren Punkten geben (ohne Zusatzaufgaben), d.h. Sie sollten 105 oder mehr Punkte erreichen.

[14.1.05]   Das bestehen des Leistungstests am 9.2. (siehe Nachricht vom 21.12.04) und das erreichen von mindestens 50% der Punkte bei den Übungen sind die Vorrausetzungen zur Teilnahme an der Klausur im Herbst diesen Jahres.

Die Aufgaben zur letzten Klausur (WS0304) finden Sie hier mit Lösungsvorschlägen.

[21.12.04]   Ihre Lösungen zum Weihnachtsblatt können Sie zusammen mit dem nächsten oder übernächsten Übungsblatt abgeben. Das Wehnachtsblatt wird nicht in den Übungen besprochen werden.

[21.12.04]   Die Klausur (Leistungstest) zum Erwerb des Logikscheins findet Mittwoch, den 9.2.2005, 14:15 Uhr im Hörsaal V53.01 statt und dauert 1 Stunde.

[6.12.04]   Abgabefristverlängerung: Da manche Themen des Blatts 4 erst später in der Vorlesung behandelt wurden, haben wir die Abgabefrist für das Blatt 4 auf Montag, den 13.12.04, bis 10:00 Uhr verlängert.

[25.11.04]   Die Seiten "TERMINE" und "ÜBUNGEN" wurden mit den Terminen für 2005 aktualisiert.

[22.11.04]   Hinweis: In der Aufgabe 12 des Übungsblatts 3 befindet sich ein Schreibfehler. Es soll in der Definition der Menge M heißen: … wobei Li(0) = Ai wenn i gerade ist und Li(2) = Ai wenn i ungerade ist, … In der selben Aufgabe beziehen sich sowohl "die folgenden zwei Fälle" als auch "die folgenden erfüllenden Belegungen" im nächsten Absatz auf die Punkte i) und ii).

Desweiteren befindet sich auch in der Aufgabe 13 ein Schreibfehler. Die gegebene Formel ist dadurch leider erfüllbar und wird nicht bewertet.

[18.11.04]   Die Musterlösungen zu den Übungsaufgaben werden nach der letzten Übung zum jeweiligen Blatt freigegeben. Die Musterlösung zum Blatt 1 ist ab heute verfügbar; siehe "ÜBUNGEN".

[9.11.04]   Hinweis: In der Aufgabe 7(c) des Übungsblatts 2 soll C1 (siehe Schaltung RCA) als logische Formel in Abhängigkeit von A0 und B0 dargestellt werden. Die Wahrheitstabelle eines Addierers AD soll dabei im Kontext der Schaltung RCA gesehen werden.

Eine Formel zur Beschreibung von S1 hängt also von A0, B0, A1 und B1 ab.

[2.11.04]   Die limboole Dateien zu den Übungen werden über eClaus abgegeben.

[27.10.04]   Beachten Sie bitte, dass Ihre Lösungen der Übungsaufgaben bis Donnerstag (gerade Wochen), 12 Uhr, abgegeben sein müssen. Der nächste Termin ist morgen, Donnerstag der 28.10.04. Siehe auch die aktualisierte Seite "ÜBUNGEN".

[21.10.04]   Das Übungsblatt 1 liegt in einer neuen Version vor (siehe "ÜBUNGEN" zum Download). In dieser Version sind alle Formeln vollständig geklammert, da die Prioritäten von Operatoren noch nicht eingeführt wurde.

[19.10.04]   Die Einschreibung für die Tutorgruppen erfolgt hier ab heute bis zum Dienstag dem 26.10.2004 um 12:00 Uhr. Login: logik. Passwort: hilbert04. Achtung: Aus sicherheitstechnischen Gründen kann die Einschreibung nur über das Campusnetz erfolgen.

[13.10.04]   Achtung!   Die erste Donnerstagsvorlesung wurde auf den 21. Oktober vorverlegt.

[12.10.04]   Die ersten Tutorien der Gruppen 1, 3 und 5 wurden wegen Allerheiligen auf den 03.11.04 verschoben (eigentlich 01.11.04).

[12.10.04]   Die Einschreibungen zu den Tutorgruppen erfolgen über das Web-Interface. Das entsprechende Passwort wird in der ersten Vorlesung bekannt gegeben.