Automatisches Beweisen
Vorlesung und Übungen
Neues:
Ü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 drei Personen sind erlaubt und erwünscht.
- Herausgabe des Übungsblattes dienstags ab 17 Uhr auf
der Web-Seite.
- Abgabe Die Lösungen können ausgedruckt im Sekretariat (Raum C104) oder per Email an gehweile
"at" informatik.uni-tuebingen.de bis Montag 12 Uhr abgegeben werden. (Bitte Öffnungszeiten beachten!)
- Übungsblätter
- Blatt 1: pdf
- Blatt 2: pdf
- Blatt 3: pdf
- Blatt 4: pdf
- Blatt 5: pdf
- Blatt 6: pdf
Die dazu benötigte Dateien finden sich hier.
- Blatt 7: pdf
- Blatt 8: pdf
- Blatt 9: pdf
Material zur Vorlesung:
- Skriptum: pdf (Stand 20.3.2008)
- Externes Skriptum BDDs:
- Semesterapparat
Monika Gehweiler : gehweile "at" informatik.uni-tuebingen.de