Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!
51
Foliensatz 3.3
Algebraische Spezifikation
Generierende Operationen
Algebraische Spezifikation
Generierende Operationen
●Definition: Menge O von Operationen heisst „generierend“ für Menge X, wenn alle Elemente in X durch sukzessive Anwendung der Operationen erzeugt werden können.
●Bemerkung: Insbesondere kann Menge 0-null-stellige Operationen (= Konstanten) enthalten.
Frage:
- Was ist generierende Menge von Operationen der Booleschen
Algebra ?
Antwort:zum Beispiel {false, not}
- Was ist generierende Menge von Operationen der Algebra der
positiven, ganzen Zahlen ?
Antwort:zum Beispiel {zero, succ}
![](https://cobocards.s3.amazonaws.com/card/480_300/4/4ak010214.jpg)
●Bemerkung: Insbesondere kann Menge 0-null-stellige Operationen (= Konstanten) enthalten.
Frage:
- Was ist generierende Menge von Operationen der Booleschen
Algebra ?
Antwort:zum Beispiel {false, not}
- Was ist generierende Menge von Operationen der Algebra der
positiven, ganzen Zahlen ?
Antwort:zum Beispiel {zero, succ}
![](https://cobocards.s3.amazonaws.com/card/480_300/4/4ak010214.jpg)
Tags: algebraische, spezifikation
Quelle:
Quelle:
![](https://cobocards.s3.amazonaws.com/user/40_40/8/89kl20214.jpg)
Karteninfo:
Autor: Annika
Oberthema: Informatik
Thema: Softwarekonstruktion
Schule / Uni: TU Dortmund
Veröffentlicht: 19.03.2014