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. Erhältlich in der Lehrbuchsammlung der Fakultätsbibliothek!