Assistentin: Alissa Kaplunova
Ort: TUHH, Harburger Schloßstraße 20, Raum 206
Zeit: Freitag 14:30-15.30 Uhr
Vorlesung (Ralf Möller)
Klausurergebnisse
Übungszettel
- Blatt 1 (Aussagenlogik) Besprechung am 26.10.2007
- Blatt 2 (Aussagenlogik, Fortsetzung) Besprechung am 02.11.2007
- Blatt 3 (Prädikatenlogik) Besprechung am 09.11.2007
- Blatt 4 (Prädikatenlogik, Fortsetzung) Besprechung am 16.11.2007
- Blatt 5 (Programmverifikation) Besprechung am 23.11.2007
- Blatt 6 (Prädikatenlogik, Resolution) Besprechung am 30.11.2007
- Blatt 7 (Prädikatenlogik, Situationskalkül) Besprechung am 07.12.2007
- Blatt 8 (PLTL) Besprechung am 14.12.2007
- Blatt 9 (PLTL, Fortsetzung) Besprechung am 21.12.2007
- Blatt 10 (CTL, CTL* und TLA) Besprechung am 11.01.2008 und am 17.1.2008
- Blatt 11 (DL) Besprechung am 25.01.2008
- Blatt 12 (DL, Tableau-Verfahren) Besprechung am 01.02.2008
- Klausurvorbereitung am 08.02.2008
Literatur:
- Uwe Schöning, Logik für Informatiker,
Spektrum Akad. Vlg., Hdg. Erscheinungsdatum: 2000, Auflage: 5. Aufl., ISBN: 3827410053 - M. Huth, M. Ryan, Logic in Computer Science, Modeling and Reasoning about Systems,
Cambridge University Press, 2000 - F. Baader et al. (Hrsg.), Description Logic Handbook, Cambridge University Press, 2003
- M. Kreuzer, S. Kühling, Logik für Informatiker, Pearson Studium, 2006
Alissa Kaplunova