|
Ziele:
Beispiel für Zusammenhang zwischen konkreter und abstrakter Algebra
in der Vorlesung:
Beispiel mit Folie Mo-2.25 erläutern
- Funktionstafeln der konkreten Funktionen angeben
- Gültigkeit von Axiomen zeigen
- Ebenso für die konkrete boolesche Algebra
Übungsaufgaben:
Tauschen Sie in FSet die Funktionen zu T und F.
Gelten die Axiome noch?
Verständnisfragen:
- Zeigen Sie, dass alle Axiome Q von Bool in FSet gelten.
| 
