Modellierung WS 2010/11 - Folie 427

Ziele:
Konsistente Umbenennung verstehen
in der Vorlesung:
- Anwendungen ihren Definitionen zuordnen.
- Wenn in geschachtelten Wirkungsbereichen die Variablen der Quantoren dieselben Namen haben, dann ist im inneren Wirkungsbereich die äußere Variable verdeckt.
- Konsistente Umbenennung beachtet Bindungen, Substitution von Variablen aber nicht.
- Vergleich mit Programmiersprachen
nachlesen:
Kastens, Kleine Büning: Modellierung, Abschnitt 4.2
Verständnisfragen:
- Geben Sie ein Beispiel, wo eine unzulässige Umbenennung in einen schon verwendeten Variablennamen Bindungen verändert.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 25.08.2010