CoboCards App FAQ & Wishes Feedback
Language: English Language
Sign up for free  Login

This flashcard is just one of a free flashcard set. See all flashcards!

All main topics / Informatik / Softwarekonstruktion / SWK
51
Foliensatz 3.3
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}
Tags: algebraische, spezifikation
Source:
New comment
Flashcard info:
Author: Annika
Main topic: Informatik
Topic: Softwarekonstruktion
School / Univ.: TU Dortmund
Published: 19.03.2014

Cancel
Email

Password

Login    

Forgot password?
Deutsch  English