Modellierung WS 2010/11 - Folie 314

Ziele:
Axiome definieren Terme als gleichbedeutend
in der Vorlesung:
- Anwendungen von Axiomen auf Termpaare zeigen (Substitution)
- Beispiel: Kommutativgesetz anwenden
Verständnisfragen:
Erklären Sie Anwendungen des Kommutativgesetzes
präzise in der definierten Terminologie.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 19.11.2010