Modellierung WS 2010/11 - Folie 326b

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.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 19.11.2010