Vorlesung Modellierung WS 2001/2002 - Folie Nr. 315

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 309-319 als PDF

Ziele:
Schleifeninvariante verstehen

in der Vorlesung:
Erläuterungen dazu

  • Das Prinzip Invariante erläutern.
  • Schlussregel erläutern.
  • Am Beispiel mehrere Invariante zeigen.