|
Relationale Methoden in der Informatik |
- Vorlesung im Wintersemester 2007/2008
- Dozent:
- Rudolf Berghammer
- Termine:
- Di, 12.15 - 13.45
LMS2 - R.Ü2
Do, 10.15 -
11.45
LMS2 - R.Ü1
- Angaben:
- Vorlesung, 4 SWS, ECTS: 8,0, Fachgebiet: Theoretische Informatik,
Informatiknahe Mathematik
- Voraussetzungen / Organisatorisches:
-
Die vierstündige Vorlesung wendet sich in erster Linie an die Studierenden der Informatik im Haupt- und Nebenfach, aber auch an Studierende der Mathematik mit Interesse an theoretischen Fragestellungen. Vorausgesetzt werden Kenntnisse, wie sie im Diplom-Grundstudium oder einen Bachelor-Studiums eines der eben erwähnten Fächer erworben werden. Der vorherige Besuch der Vorlesung "Ordnung und Verbände" ist hilfreich, aber nicht zwingend notwendig, da sowohl ein ausgearbeitetes Skriptum zum Nachschlagen zur Verfügung steht und auch die erforderlichen Grundlagen noch jeweils wiederholt werden.
- Empfohlene Literatur:
-
- G. Schmidt, T. Ströhlein, Relationen und Graphen, Springer Verlag, 1989.
- C. Brink, W. Kahl, G. Schmidt (Herausgeber): Relational Methods in Computer Science, Springer Verlag, 1997.
- Weitere Informationen zu dieser Veranstaltung:
-
- Die offiziellen Informationen (UnivIS)
- Die Übungen
- Das
RelView System
Britta Kehden -
bk@informatik.uni-kiel.de
Last modified:
25-Mar-2008, 12:28:04 MET
