Allgemeine Bemerkungen
← Geschichte ↑ Eine kurze Einführung in die Alegebra WorkBench ↑ Elemente: Strukturfenster →
Änderung der Sprache der AWB (FAQ)
Bevor wir die Elemente der AWB etwas genauer betrachten, wollen wir noch kurz schauen, wie die Sprache der AWB geändert werden kann:
Unter [Einstellungen.../Sprache/] kann die Sprache der AWB entweder auf Deutsch oder Englisch gesetzt werden, siehe Abbildung 2.1.
Abbildung 2.1: Screenshot zur Illustration des Sprachenwechsel in der AWB.
Im weiteren sind alle Screenshots von der deutschen AWB Version.
Konventionen
-
Pfade im Programm werden in eckigen Klammern angezeigt. Zum Beispiel steht [Datei.../Zeige Archiv] für die Option namens "Zeige Archiv" im Hauptmenü namens "Datei...".
-
Eine Struktur (im Sinne der AWB) ist ein Tupel S = (X, ≤, F, R) so, dass ≤ eine Teilordnung auf X ist, F eine (evt. leere) Menge von (evt. partiellen) Operationen auf X und R eine (evt. leere) Menge von Relationen auf X.
Insbesondere ist also (X, ≤) ein Poset und (X, F) eine (partielle) Algebra. Eine Struktur verfügt somit immer über mindestens eine Relation, die Ordnungsrelation ≤, und möglicherweise weitere Relationen aus R, die algebraische Relationen genannt werden. Ähnliches gilt für die Operationen: Jede Strukur hat implizite partielle Operationen Schnitt, Verein und Pseudokomplemente, welche sich aufgrund der Ordnungsrelationen definieren, und möglicherweise noch weitere Operationen aus F, die algebraische Operationen genannt werden.