Modellierung WS 2010/11 - Folie 317

Ziele:
Beispiel für Zusammenhang zwischen konkreter und abstrakter Algebra
in der Vorlesung:
Beispiel mit Folie Mod-3.16 erläutern
- Funktionstafeln der konkreten Funktionen angeben
- Gültigkeit der Gleichungen zu den Axiomen zeigen
- Ebenso für die konkrete boolesche Algebra
Übungsaufgaben:
Tauschen Sie in FSet die Funktionen zu T und F.
Gelten die Gleichungen zu den Axiomen noch?
Verständnisfragen:
- Zeigen Sie, dass die Gleichungen zu allen Axiome Q von Bool in FSet gelten.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 19.11.2010