- Allgemein:
- 89-5151
- 4 Std. Vorlesung
Di. 8.15 - 9.45 Uhr, 46-280
Fr. 8.15 - 9.45 Uhr, 42-110
2 Std. Übung siehe unten
Ausweichtermine für die Vorlesung:
Di. 2008/10/21 17.15 - 18.45 32-439, statt 8.15-9.45
Mi. 2008/12/03 08.00 - 09.30 11-243, statt 2008/12/05
Mi. 2008/12/10 17.00 - 18.30 36-265, statt 2008/12/09
- A) Die mathematisch exakte Spezifikation und Verifikation von
Algorithmen wird durch das an Komplexität stetig zunehmende Gebiet
der Programmentwicklung ein immer bedeutender Bereich der
theoretischen Informatik. Unterschiedliche mathematische
Modellierungen des Begriffs Algorithmus führen dabei zu
unterschiedlichen Spezifikations- und Verifikationstechniken. In
dieser Vorlesung werden wichtige mathematische Modelle des Begriffs
Algorithmus vorgestellt und die jeweils darauf aufbauenden
Möglichkeiten zur Spezifikation und Verifikation aufgezeigt. Es wird
etwa Graphersetzung als Berechnungsmodell eingeführt und Einblicke
in den Bereich der algebraischen Spezifikation und Verifikation
gewährt.
- B)
Dörr, Heiko: Efficient graph rewriting and its implementation, Springer, 1995. INF 355/021.
Ehrig, Hartmut, Mahr, Bernd: Fundamentals of algebraic specification, Springer., 1985, INF 510/038.
Baader, Nipkow: Term Rewriting and All That, Cambridge UP, 1998
Börger, Stärk : Abstract State Machines Springer
Nissanke: Formal Specification Techniques and Applications Springer 99
Astesiano, Kreowski, Krieg-Brückner: Algebraic Foundations of System Specifications (IFIP)
- C) Software-Entwicklung 1, 2, Mathematik, Formale Grundlagen der Programmierung, Logik, Entwurf und Analyse von Algorithmen.
- E) Kernveranstaltung des Lehrgebietes.
- Beginn: 2008-10-21
- Weitere Informationen: KIS
- Folien/Vorbereitung:
Folien zum Lesen am Rechner:
1-393
Folien zum Drucken (4 pro Seite):
1-258
Zusatzmaterial:
ASM-Beispiele ,
Verfeinerungsmethoden ,
Kürzeste Wege
Wenn andere Arrangements gewünscht werden, könnte folgende TeX-Datei als Ausgangspunkt
hilfreich sein, mit der auch die druckbare Version mit 4 pro Seite erzeugt wird:
printable.tex
Wegen der hohen Druckkosten per Kopierer oder die Laserdrucker des
SCI/RHRK werden die Folien in gedruckter Form zur Verfügung gestellt. Unsere
Sekretärin, Frau Stengel, wird sie verkaufen. Der erwartete Preis wird bei EUR
5 liegen. Wir werden hier und/oder in der Vorlesung ankündigen, wann die
Foliensätze verfügbar sind.
