Modellierung WS 2010/11 - Folie 307

Ziele:
Formale Definition des Einsetzens für Variable

in der Vorlesung:
An Beispielen erlätern:

konsistentes Ersetzten mehrerer Vorkommen
gleichzeitiges Ersetzen
Ersetzen wird nicht iteriert
Variable können ungebunden bleiben

Hinweis: Wir haben hier nicht die Notation aus dem Skript vom WS 2000/2001 und nicht die aus dem Buch von Goos verwendet! Dort werden die Paare in umgekehrter Reihenfolge angegeben: [Term/Variable].
Verständnisfragen:
Geben Sie Beispiele für Substitutionen zu Termen der Signatur zu BOOL an.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 19.11.2010

Weiter zum Anfang