Universitńt Karlsruhe
Informatik II

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
Folien zur Vorlesung finden sich auf dieser Seite.

Veranstalter

Alumni
Prof. Uwe Assmann
Dr. Dirk Heuzeroth
Login
Links