Motivation, Plan (II)

(folgende Vorlesungen)

• konkrete und abstrakte Datentypen (KKB: Kap. 3, 4)

  (prädikatenlogische Formeln und ihre Modelle)

  • (Signatur, Axiome, Algebra) (interface, ?, class)
  • Eigenschaften von Relationen (Graphen)
• Modellierung von Abläufen (KKB: Kap. 7)
  • zentraler Zustand (endliche Automaten)
  • verteilter Zustand (Petri-Netze)
  • UML: Sequenz- und Zustandsdiagramme