Vorlesung Modellierung WS 2001/2002 - Folie Nr. 332

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 320-333 als PDF

Ziele:
Wichtige Äquivalenzen einprägen

in der Vorlesung:

  • 1 - 4 begründen
  • Eine Äquivalenz beweisen
  • Beispiel für Umformungen

nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 4.2