|
Ziele:
Terme als Muster verstehen
in der Vorlesung:
- Substitution als Anwendung einer Rechenregel
- Erläuterung der Relation "umfasst"
- weitere Beispiele
Verständnisfragen:
Warum ist es nicht völlig korrekt,
zu sagen, dass t spezieller ist als s, wenn s t umfasst?
|
