Modellierung WS 2010/11 - Folie 309

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?
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 19.11.2010