Vorlesung Modellierung WS 2001/2002 - Folie Nr. 220a

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 214b-223 als PDF

Ziele:
Umgang mit Substitutionen verstehen

in der Vorlesung:
An Beispielen erlätern:

  • konsistentes Ersetzten mehrerer Variablen,
  • Hintereinanderausführung,
  • Umrechnung.

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

Verständnisfragen:
Begründen Sie die Regel für die Umrechnung.