Vorlesung Modellierung WS 2001/2002 - Folie Nr. 310

Nächste Folie

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

Ziele:
Notation von Aussagen im Algorithmus

in der Vorlesung:

  • Terminierung muss separat gezeigt werden
  • Aussagen haben keinen Einfluss auf den Algorithmus