Automatisches Beweisen
Vorlesung und Übungen
WS08/09
Neues:
- Wie heute ausgemacht, findet nächste Woche am Montag, den 9.2.2009, um 14:15 Uhr im Raum C109 eine Übungsgruppe statt.
- Wie allseits schon bekannt sein müsste, findet am 11.2. die Klausur während der Vorlesung statt.
- Entgegen meinen Ankündigungen, wird es sehr wahrscheinlich nächste Woche noch ein kleines Übungsblatt geben.
- Da der eine oder andere mit der ersten Aufgabe des neunten Blattes Schwierigkeiten hatte und ich Anfang der Woche nicht da war,
verschiebe ich die Aufgabe auf das zehnte Blatt, das jetzt online ist.
- Wie wir heute in der Übung ausgemacht haben, findet nächste Woche
keine Übung statt. Dafür beginnt die Übung am 9.12.08 schon
um 9:00 Uhr und nicht um 9:15 Uhr.
- Ab jetzt gibt es zwei Sprechstunden:
- dienstags nach der Übung im Übungsraum (kleiner Hörsaal)
- mittwochs nach der Vorlesung im Vorlesumgsraum (A104)
- Wie in der Vorlesung angekündigt, findet am 10.12.08
anstelle der Vorlesung für all diejenigen, die einen benoteten Schein
wollen eine Midterm-Klausur
statt. Die Klausur erstreckt sich nur über die Aussagenlogik. Aufgaben
der Klausur lehnen sich stark an die Übungsaufgaben an. Eventuell kommen
noch Multiple Choice Fragen dran.
- Die Übungsgruppe findet jetzt immer im kleinen Hörsaal statt.
- Die Übungsgruppe findet jetzt immer im großen Seminarraum statt.
- In der ersten Übung am 28.10.08 ist keine Anwesenheitspflicht. Da wir
da noch kein Blatt zu besprechen haben, ist diese Übung allein für
eure Fragen da.
Übungen:
- Termin: Dienstag 9 - 10 Uhr
- Ort: kleiner Hörsaal
- Scheinkriterien:
- 50% der Punkte,
- Anwesenheitspflicht: man darf maximal 2 Mal entschuldigt fehlen (Entschuldigung
bis spätestens eine Stunde vor der Übung.)
- mind. 2 mal Vorrechnen
- Teams von bis zu zwei Personen sind erlaubt und erwünscht.
- Herausgabe des Übungsblattes donnerstags in der Vorlesung
und auf der Web-Seite.
- Abgabe Die Lösungen können ausgedruckt in der
Vorlesung donnerstags oder per Email an gehweile "at"
informatik.uni-tuebingen.de bis Donnerstag 12 Uhr abgegeben werden.
- Übungsblätter
- Blatt 1: pdf, verbesserte Version:
pdf
- Blatt 2: pdf
- Blatt 3: pdf
- Blatt 4: pdf
- Blatt 5: pdf benötigte Dateien
finden Sie hier.
- Blatt 6: pdf
- Blatt 7: pdf
- Blatt 8: pdf
- Blatt 9: pdf
- Blatt 10: pdf
- Blatt 11: pdf
Material zur Vorlesung:
Externes Skriptum BDDs:
Semesterapparat
Monika Gehweiler : gehweile "at" informatik.uni-tuebingen.de
