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
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