|
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:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 4.2
Verständnisfragen:
- Geben Sie ein Beispiel, wo eine unzulässige Umbenennung
in einen schon verwendeten Variablennamen
Bindungen verändert.
|
