Vorlesung SS 2000

Einführungsvorlesung über Objektorientierung und Algorithmen.

• Einführung in die objektorientierte Programmentwicklung
• Operationen auf Klassen
• Verfahren zur Konstruktion von einzelnen Algorithmen (Programmieren im Kleinen)
  • Überblick über Prinzipien der Algorithmenkonstruktion
  • Der Algorithmenraum (WAS, WIE, WORAUF, WIE GUT)
  • Programmverfeinerung (WAS?)
  • Algorithmenaufwand (WIE GUT?)
  • Verifikation mit dem Zusicherungskalkül
• Algorithmenschemata (WIE?)
  • Teile und Herrsche
  • Dynamisches Programmieren
  • Probabilistische Algorithmen
• Algorithmen auf Datenstrukturen (WORAUF)
  • Abstrakte Datentypen zum Suchen
  • Algorithmen auf Schlüssel-Universen (Suchverfahren).
  • Algorithmen auf Totalordnungen (Sortierverfahren)
  • Algorithmen auf Relationen
    • Graphanfragen
    • regelgesteuerte Graphtransformationen
    • allgemeine Graphalgorithmen
  • Codierung, Kompression (Algorithmen auf Monoiden)
• Verfahren zur Konstruktion von Systemen: Objektorientierte Modellierung (Programmieren im Grossen)
• Abarbeitung der Algorithmen: Vom Programm zur Maschine

Veranstalter

Alumni Prof. Uwe Assmann Dr. Dirk Heuzeroth