Relationale Methoden in der Informatik (WV1)

Prof. Dr. G. Schmidt
Herbsttrimester 2002

Scheinerwerbsmodalitäten

20-minütige mündliche Prüfung (schriftliche Hilfsmittel erlaubt) am 08.01.2003, 0900 - 1200 Uhr, Geb 41 / Raum 2401.

Anmeldung zur Prüfung bis zum 18.12.2002 per E-Mail an Eric Offermann. Der genaue Zeitpunkt der jeweiligen Einzelprüfung wird anschließend bekanntgegeben.

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.

04.10.2002, 10 - 12 Uhr, Vorlesung 1, Geb 33 / HS 2420
10.10.2002, 13 - 15 Uhr, Übung 1, Geb 33 / HS 2432
11.10.2002, 10 - 12 Uhr, Vorlesung 2, Geb 33 / HS 2420
17.10.2002, 13 - 15 Uhr, Übung 2, Geb 33 / HS 2432
18.10.2002, 10 - 12 Uhr, Vorlesung 3, Geb 33 / HS 2420
24.10.2002, 13 - 15 Uhr, Vorlesung 4, Geb 33 / HS 2432
25.10.2002, 10 - 12 Uhr, Vorlesung 5, Geb 33 / HS 2420
31.10.2002, 13 - 15 Uhr, Vorlesung 6, Geb 33 / HS 2432
07.11.2002, 13 - 15 Uhr, Vorlesung 7, Geb 33 / HS 2432
08.11.2002, 10 - 12 Uhr, Vorlesung 8, Geb 33 / HS 2420
14.11.2002, 13 - 15 Uhr, Übung 3, Geb 33 / HS 2432
15.11.2002, 10 - 12 Uhr, Vorlesung 9, Geb 33 / HS 2420
21.11.2002, 13 - 15 Uhr, Übung 4, Geb 33 / HS 2432
22.11.2002, 10 - 12 Uhr, Vorlesung 10, Geb 33 / HS 2420
28.11.2002, 13 - 15 Uhr, Übung 5, Geb 33 / HS 2432
29.11.2002, 10 - 12 Uhr, Vorlesung 11, Geb 33 / HS 0101
05.12.2002, 13 - 15 Uhr, Vorlesung 12, Geb 33 / HS 2432
06.12.2002, 10 - 12 Uhr, Vorlesung 13, Geb 33 / HS 0101
12.12.2002, 13 - 15 Uhr, Vorlesung 14, Geb 33 / HS 2432
13.12.2002, 10 - 12 Uhr, Vorlesung 15, Geb 33 / HS 0101
19.12.2002, 13 - 15 Uhr, Übung 6, Geb 33 / HS 2432

Folien der Vorlesung (aus dem HT2001)

01.10.2001 []
05.10.2001 []
28.10.2001 []
27.11.2001 []
28.11.2001 []
07.12.2001 []

Übungsblätter

Blatt 1 [, ]
Blatt 2 [, ]
Blatt 3 [, ]
Blatt 4 [, ]
Blatt 5 [, ]
Fragen zum Übungsbetrieb richten Sie an Eric Offermann.

Software

RelView-Homepage an der Christian-Albrechts-Universität Kiel
Lokal gespiegeltes Material
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. Erhältlich in der Lehrbuchsammlung der Fakultätsbibliothek!