Automatisches Beweisen
Vorlesung und Übungen
Neues:
-
Abgabe für Blatt 5 ist am 10. Dezember. Vorlesung und Übung am 3.12. fallen aus und werden in Folgeveranstaltungen nachgeholt. Blatt 6 erscheint am 10. Dezember.
-
Am Montag, den 12.11., findet keine Übung statt. Bitte geben Sie direkt bei M. Gehweiler oder vor Raum B103 auf dem Sand ab.
-
Am Montag, den 5.11., findet die Besprechung des ersten Blattes statt.
-
Die Vorlesung am 29.10. fällt aus. Die Übungen können entweder vor dem Raum B103 auf dem Sand oder elektronisch bei Monika Gehweiler abgegeben werden.
- Die Lösungen können auch ausgedruckt oder per Email an gehweile
"at" informatik.uni-tuebingen.de abgegeben werden.
- Die Übungen gelten als EINE
SWS!
Übungen:
- Termin: Mo 17 Uhr, 7-tägig; erster Termin: 22.10.07
(Vorbesprechung des 1. Blatts, ohne Abgabe)
- Ort: tba
- Scheinkriterien:
- 50% der Punkte,
- mind. (n-1) mal Anwesenheit (unentschuldigt),
- mind. (n-3) mal Anwesenheit (Nur entschuldigt!)
- mind. 2 mal Vorrechnen
- Teams von bis zu drei Personen sind erlaubt und erwünscht.
- Blatt 1: pdf
- Blatt 2: pdf
- Blatt 3: pdf
- Blatt 4: pdf
- Blatt 5: pdf
- Blatt 6: pdf
- Blatt 7: pdf
- Blatt 8: pdf
- Blatt 9: pdf
- Blatt 10: pdf
Material zur Vorlesung:
- Skriptum: pdf
- Externes Skriptum BDDs:
- Semesterapparat
Hendrik Post : post "at" informatik.uni-tuebingen.de
Last modified: Sun Jun 27 23:39:36 MEST 2004