Aktuelles
Neu (21.07.08): Die Klausureinsicht findet am Donnerstag, dem 24.07.08, von 13:00 bis 14:30 im Raum 3008 im Gebäude L1 statt.
Neu (07.07.08): Eine Formelsammlung zum schnellen Nachschlagen während der Klasur findet sich bei der Textform des Skriptes.
Neu (10.06.08):
Aus gegebenem Anlass weisen wir noch einmal auf die Anmeldefristen in Studis hin. Die Anmeldefrist läuft bis zum 16.06.08. Eine Anmeldung in Studis zur Vorlesung ist unerlässlich, auch für Studierende mit Nebenfach Informatik! Andernfalls können wir keine Noten vergeben; nachträgliche Anmeldung unsererseits ist NICHT möglich.
(19.05.08) Wegen des Feiertages am 22.05.08 entfällt die Donnerstagsübung an diesem Termin. Die Übung wird am 29.05.08 nachgeholt; im Gegenzug findet am 27.05.08 keine Dienstagsübung statt.
(05.05.08) In der Pfingstwoche finden keine Übungen statt, d.h., die Übungen am 13.05.08 und 15.05.08 entfallen ersatzlos. Die Vorlesung am 14.05.08 wird allerdings gehalten.
(30.04.08) Die Prover9-Beispiele aus der Vorlesung sind unter Beispiele zu finden.
(28.04.08) In der nächsten Vorlesung wird der automatische Beweiser Prover9 vorgestellt werden. Wer will, kann sich unter dem Link in der Rubrik "Software" schon einmal vorab informieren.
(28.04.08) Am 01.05.08 entfällt die Donnerstagsübung wegen des Feiertages. Eine Ersatzübung findet am Montag, dem 05.05.08, im Raum 2004 des Informaikgebäudes von 10:00 bis 11:30 statt.
(24.04.08) Auf dem zweiten Übungsblatt hat sich ein kleiner Fehler in der Angabe zu Aufgabe 3b) eingeschlichen. Ersetzen Sie "... von Aufgabe 3(b) für x = E ..." durch "... von Aufgabe 4(b) für x = E ..."
(21.04.08) Auf dem ersten Übungsblatt wurde der Abgabetermin falsch angegeben. Intendiert war Dienstag, der 22.04.08 (und nicht der 29.04.08). Geben Sie bitte Ihre Lösungen bis zum Abend des 24.04.08 an den angegebenen Stellen ab. Entschuldigung für das Versehen!
Neu (18.04.08):
Die Klausur findet am 08.07.08 zwischen 14:00 und 17:00 im Raum 1001 P (Physikhörsaalgebäude) statt. Beachten Sie bitte die Anmeldefristen in Studis! Die Angabe auf den Vorlesungsunterlagen ist somit obsolet, bleibt aber aus Gründen der Authentizität unverändert.
(17.04.08)Es gibt ein nulltes Übungsblatt zum Download, das in den Übungen am 22.04.08 und 24.04.08 besprochen wird. Sie müssen keine Lösungen dazu abgeben, sollten sich aber mit den Aufgaben vorab auseinandersetzen.
(16.04.08)Aus historischen Gründen war auf dem ersten Übungsblatt die Nummer des Briefkastens falsch angegeben. Geben Sie Ihre Lösungen bitte im Briefkasten Nr. 32 der Haupostanlage ab. Das Blatt wurde bereits dahingehend korrigiert.
(14.04.08) Entgegen der Ankündigung in der Vorlesung finden nächste Woche (d.h., am 22.04.08 und24.04.08) Übungen statt. Das erste Übungsblatt wird jedoch erst in der darauffolgenden Woche besprochen.
(14.04.08) Die Anmeldung zu den Übungen im Lecturereg ist freigeschaltet. Die Anmeldefrist läuft bis zum 28.04.08.
Suche