|
Ziele:
Interpretation anwenden
in der Vorlesung:
- rekursive Anwendung der Interpretation aus
Mod-3.26 für Terme zeigen
- Beispiel auf Mod-3.26 erläutern
- Verschiedene Interpretationen für dieselbe Formel
nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 4.2
| 
