Modellierung WS 2010/11 - Folie 311

Ziele:
Terme systematisch unifizieren
in der Vorlesung:
- Verfahren an Beispielen zeigen.
- Begründen, weshalb die Substitution immer wieder auf s und t angewandt wird.
- Begründen, weshalb in 2a und 2b geprüft wird, ob die Variable x in dem Unterterm vorkommt.
Verständnisfragen:
- Zeigen sie an einem Beispiel, dass es nötig ist, in 2a und 2b zu prüfen ob die Variable x in dem Unterterm vorkommt.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 19.11.2010