Inhalt

• Neuigkeiten
• Allgemeines
• Vorlesung
• Folien/Vorbereitung
• Übungen
• Alte Neuigkeiten

Neuigkeiten

Allgemeines

• Semester: WS 2010/2011
• Dozent: Prof. Dr. K. Madlener
• Betreuer: Reiner Hüchting

Vorlesung

• Allgemein:
  • INF-51-51-V-7
  • 4 Std. Vorlesung
    Mo. 8:30 - 10:00 Uhr, 34-420
    Mi. 8:30 - 10:00 Uhr, 34-420
    2 Std. Übung siehe unten
    
  • 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: 25.10.2010
• Weitere Informationen: KIS

Folien/Vorbereitung

• Folien zum Lesen am Rechner:
  • 1-44
  • 45-158
  • 159-258
  • 259-393
• Zusatzmaterial: ASM-Beispiele , Verfeinerungsmethoden , Kürzeste Wege

Übungen

• Termine:
  • Di 15:30 - 17:00 Uhr Uhr Raum 34-420.
• Übungsblätter

  Blatt 0 (für die erste Übung)
  Blatt 1
  Blatt 2
  Blatt 3
  Blatt 4
  Blatt 5
  Blatt 6
  Blatt 7
  Blatt 8
  Blatt 9
  Blatt 10
  Blatt 11
  Blatt 12

Alte Neuigkeiten