Relationale Methoden in der Informatik (WV1)
Prof. Dr. G. Schmidt
Herbsttrimester 2003
Scheinerwerbsmodalitäten
20-minütige mündliche Prüfung am 22.12.2003, am 13.01.2003 oder am 14.01.2003, jeweils zwischen 9 Uhr und 12 Uhr.
Terminliste
Es handelt sich um eine Veranstaltung mit 3 V + 1 SÜ TWS. Die Übungen finden abwechselnd mit der Vorlesung Donnerstags als 2-stündige Veranstaltung statt. Die jeweiligen Termine sind der folgenden Liste zu entnehmen.
- 02.10.2003, 13 - 15 Uhr, Geb 33 / HS 3431, Vorlesung 1
- 09.10.2003, 13 - 15 Uhr, Geb 33 / HS 3431, Übung 1
- 10.10.2003, 10 - 12 Uhr, Geb 33 / HS 0401, Vorlesung 2
- 16.10.2003, 13 - 15 Uhr, Geb 41 / Raum 2417, Vorlesung 3
- 17.10.2003 (entfällt wegen Dies Academicus)
- 23.10.2003, 13 - 15 Uhr, Geb 41 / Raum 2417, Übung 2
- 24.10.2003, 10 - 12 Uhr, Geb 41 / Raum 2417, Vorlesung 4
- 30.10.2003, 13 - 15 Uhr, Geb 41 / Raum 2417, Vorlesung 5
- 31.10.2003, 10 - 12 Uhr, Geb 41 / Raum 2417, Vorlesung 6
- 06.11.2003, 13 - 15 Uhr, Geb 41 / Raum 2417, Übung 3
- 07.11.2003, 10 - 12 Uhr, Geb 41 / Raum 2417, Vorlesung 7
- 13.11.2003, 13 - 15 Uhr, Geb 41 / Raum 2417, Vorlesung 8
- 14.11.2003, 10 - 12 Uhr, Geb 41 / Raum 2417, Vorlesung 9
- 20.11.2003, 13 - 15 Uhr, Geb 41 / Raum 2417, Übung 4
- 21.11.2003, 10 - 12 Uhr, Geb 41 / Raum 2417, Übung 5
- 27.11.2003, 13 - 15 Uhr, Geb 41 / Raum 2417, Vorlesung 10
- 28.11.2003, 10 - 12 Uhr, Geb 41 / Raum 2417, Vorlesung 11
- 04.12.2003, 13 - 15 Uhr, Geb 41 / Raum 2417, Übung 6
- 05.12.2003, 10 - 12 Uhr, Geb 41 / Raum 2417, Vorlesung 12
- 11.12.2003, 13 - 15 Uhr, Geb 41 / Raum 2417, Vorlesung 13
- 12.12.2003, 10 - 12 Uhr, Geb 41 / Raum 2417, Übung 7
- 18.12.2003, 13 - 15 Uhr, Geb 41 / Raum 2417, Vorlesung 14
- 19.12.2003, keine Vorlesung
Folien der Vorlesung [
]
Übungsblätter
- Blatt 1 [
, , Lösungsvorschlag] - Blatt 2 [, ]
- Blatt 3 [, ]
- Blatt 4 [, , Z-Glossar ]
- Fragen zum Übungsbetrieb richten Sie an Michael Ebert.
Software
- RelView-Homepage an der Christian-Albrechts-Universität Kiel
- RATH-Homepage
- RelMiCS-Homepage
- TARSKI-Homepage (Theory and Applications of Relational Structures as Knowledge Instruments)
Literatur
 |
Schmidt, G., and Ströhlein, T.: Relations and Graphs, Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoretical Computer Science. Springer, 1993. 301 p. |
 |
Schmidt, G., and Ströhlein, T.: Relationen und Graphen - Mathematik für Informatiker. Springer, 1989. 304 p. |