Vorlesung Algebraische Spezifikation
Wintersemester 2003/04
| Lehrbeauftragter:
|
Dr. Klaus Benecke
|
| Semester:
| Hauptstudium
|
| Wochenstunden:
| 2+2+0
|
| Zuhörerkreis:
| IF, ING-IF
|
| Voraussetzungen:
|
|
Inhalt:
- Algebraische Algorithmentheorie ("anspruchsvolle" Einführung)
- Kurzwiederholung: Klassische Algebren, Prädikatenkalkül, Kategorienbegriff
- Grundbegriffe der Universellen Algebra
- Initiale Algebren
- Signaturen mit partiellen Algebren
- Algebraische Spezifikation der wichtigsten einfachen Datentypen und ihre Umsetzung in CAML
- Was ist berechenbar über abstrakten Datentypen
- Algebraische Spezifikation von XML-Dokumenten
- Algebraische Spezifikation von Operationen für XML-Dokumente
- Algebraische Spezifikation des OLAP-Würfels
- Termersetzung
Literatur:
Vorlesungsskript
Übungsblätter:
Prüfungsschwerpunkte:
Informationen:
Die Übung in der ersten Vorlesungswoche findet statt.
Klaus Benecke