Automatisches Beweisen
Vorlesung und Übungen
NEU:
- Die Übung fällt am 3.7. aus
und wird dann in der nächsten Woche nachgeholt (verlängerte Übung)
- Unten finden Sie ein BDD-Skriptum als Ergänzung
- Die Vorlesung findet ab 8.5. im Raum A104 statt
- Die Übungen finden im kleinen Hörsaal (Sand
6/7) statt
- Jeder muss nun 2 mal Vorrechnen
- Die Lösungen können auch ausgedruckt oder per Email an gehweile
"at" informatik.uni-tuebingen.de abgegeben werden.
- Skriptum erhältlich
Übungen:
- Termin: Mo 17-18, 7-tägig; erster Termin: 8.05.06
(Vorbesprechung des 1. Blatts, ohne Abgabe)
- Ort: Wegen Raumkollisionen im kleinen
Hörsaal Sand 6/7
- 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.
- Übungsblätter:
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