|
Ziele:
Abfolge von Bedienoperationen modellieren
in der Vorlesung:
Erläuterungen zu
- den beiden Sorten,
- den Axiomen:
sie identifizieren Terme gleicher Bedeutung;
- der Bedeutung der Axiome
Übungsaufgaben:
Untersuchen und erläutern Sie
- Alternativen zu dieser Algebra;
- Algebren zur Modellierung von Knöpfen,
die nur alternative betätigt werden können.
Verständnisfragen:
Begründen Sie die Bedeutung der Axiome anhand von
Termen.
| 
