Modellierung WS 2011/12 - Folie 320a

Ziele:
Reduktion von Termen auf ihre Normalform
in der Vorlesung:
- Reduzierbarkeit auf Normalform durch strukturelle Induktion zeigen
- Undefinierte Terme erläutern
Verständnisfragen:
- Gibt es undefinierte Terme in der Algebra Bool?
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 18.11.2011