 |
 |
|
|
Glossar (im alten Layout) |
Letzte Änderung: 23.12.2003 |
|
|
|
|
|
|
Ungeachtet der vielen Überarbeitungen sind gewiß noch einige
Fehler in den Definitionen verblieben.
Für Hinweise auf solche Fehler an den webmaster@mathlab.de
wäre ich sehr dankbar.
|
|
|
|
|
0
|
|
|= |
Die "Allgemeingültigkeit"
einer logischen Formel. Diese Eigenschaft hängt stark mit dem Begriff
"erfüllbar" und "es existiert eine Belegung" bzw.
"es gibt ein Modell". Die Negation davon stellt das durchgestrichene
Symbol " |=/= "dar. |
|
| Ø |
Die leere Menge, welche keine Element
enthält. |
| ¬ |
Die logische Negation oder das
Komplement. |
| | | |
Der Betrag (konstruiert durch Betragstriche).
Er gibt die Anzahl der Elemente einer Menge wieder. Man spricht auch von
der Mächtigkeitkeit einer Menge (Kardinalzahl). |
| != |
Verwenden wir für den Operator "ungleich". |
| 2-3-Baum: |
Ein spezieller Suchbaum. |
|
Für das restliche Glossar
die anderen Buchstaben anklicken !
0
A B
C D
E F
G H
I J
K L
M N
O P
Q R
S T
U V
W X
Y Z
|
|
|
|
| |
| |
|
|
|
|
|
Volker Ziesing | © Mathlab.de | Impressum