Informatik IV - Saarbrücken SS97
Vorlesung
Harald Ganzinger
Termine
- Di 11-13, Geb 45 Hörsaal 001
- Do 11-13, Geb 45 Hörsaal 001
Beginn 15.4.97
Literatur
- Uwe Schöning,
Logik für Informatiker,
Spektrum Akademischer Verlag,
1995.
Der Logikteil der Vorlesung richtet sich hauptsächlich nach diesem Buch.
- Tableaux:
Raymond M. Smullyan,
First-Order Logic,
Dover Publications, New York 1995.
(1. Auflage Springer 1968)
- Tableaux (und auch sonst ein gutes Buch):
Melvin Fitting,
First-Order Logic and Automated Theorem Proving,
Springer 1996.
- BDDs:
Eine kurze Einführung (Postscript)
- Graham, Knuth, Patashnik:
Concrete Mathematics,
Addison-Wesley, 1989.
Wir werden vorraussichtlich die Kapitel 1 (Rekurrenzen),
2 (Summen), 5 (Binomialkoeffizienten) und 8
(Wahrscheinlichkeitsrechnung) machen.
Weitere Literatur wird in der Vorlesung angegeben.
Siehe auch im kommentierten Vorlesungsverzeichnis.
Übungen
Jürgen Stuber
Christian Sohler,
Anne Stephan,
Thomas Warken
Für den Schein werden 50% der Übungen und eine Klausur benötigt.
Gemeinsame Lösungen mit bis zu drei Personen sind erlaubt.
Anmeldung
Wer jetzt noch nicht angemeldet ist, der schicke
mir bitte eine Mail
mit Nachname, Vorname, Matrikelnummer, Emailadresse und
gewünschter Übungsgruppe.
Übungsgruppentermine
| Gruppe | Zeit | Raum | Betreuer | Bemerkung |
|---|
| 1 | Mo 11-13 | Geb. 45 Raum 016 | Anne Stephan | |
| 2 | Di 14-16 | Geb. 46 (MPI) Raum 023 | Christian Sohler | Raum geändert |
| 3 | Di 14-16 | Geb. 45 Raum 015 | Anne Stephan | |
| 4 | Mi 14-16 | Geb. 45 Raum 016 | Christian Sohler | |
| 5 | Do 9-11 | Geb. 46 (MPI) Raum 024 | Thomas Warken | überfüllt |
| 6 | Do 14-16 | Geb. 45 Raum 016 | Thomas Warken | |
Beginn ab 28.4.97
Übungsblätter (Postscript)
Die Übungsblätter werden jeweils dienstags verteilt.
Abgabe ist jeweils bis zum Dienstag darauf um 12:05.
Die Übungsblätter gibt es auch in Papierform an der Tür von
Raum 628, Gebäude 46.
Klausur
Termin
Fr 25.7.1997 10-13 Uhr, Geb. 27 Hörsaal 1
(großer Hörsaal der Mathematik)
Wer bei den Übungen ausreichend Punkte hat, ist automatisch
für die Klausur angemeldet.
Aufgaben
Das Aufgabenblatt und
Bemerkungen dazu
Ergebnisse
-
Die Ergebnisse hängen aus. Es haben 60 von 94 (64%) bestanden.
-
Bedingung für das Bestehen sind 70 Punkte.
Das sind genau 50\% von 140 möglichen Punkten.
-
Die Scheine können ab Montag, 4.8. im
Sekretariat Ganzinger (Raum 602) abgeholt werden.
-
Die Klausur kann bis zum 8.8. Mo-Fr 14:00-14:30 bei
mir (Raum 628) eingesehen werden. Weitere Termine
wird es im September geben.
Nachklausur
-
Die Nachklausur findet am Freitag, 5.9.97, 10-13 Uhr
im großen Hörsaal der INFORMATIK (HS2 Geb 45) statt.
-
Teilnehmen dürfen alle, die zur Klausur zugelassen sind,
und die Klausur nicht bestanden haben.
-
Als Hilfsmittel erlaubt sind das Schöning-Buch, Unterlagen
aus den Übungen und handschriftliche Notizen, keine
Rechner.
Papier bitte mitbringen.
-
Eine Anmeldung ist nicht nötig. Bitte Ausweis mitbringen.
Aufgaben
Das Aufgabenblatt.
Ergebnisse
Es haben 10 von 27 bestanden.
[an error occurred while processing this directive]
Imprint | Data Protection