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

Ziele:
Freie Variable erkennen

in der Vorlesung:

• Variable sind frei in Bezug auf eine (Teil-)Formel,
• weiter außen werden sie an eine Bedeutung gebunden.

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