Häufig verwendete Symbole und Abkürzungen

Häufig verwendete Symbole und
Abkürzungen
Material zur Vorlesung Theoretische Informatik I
Prof. Dr. Christoph Kreitz / Dr. Eva Richter
Universität Potsdam, Theoretische Informatik, Wintersemester 2007
1
Logik
Symbol
2
Bedeutung
∧
∨
¬
→
⇔
≡
und (logische Konjunktion)
oder (logische Disjunktion)
nicht (logische Negation)
wenn..., dann...(logische Implikation)
genau dann, wenn (logische Äuivalenz)
logisch äuivalent (p ≡ q gdw. die Formel p ⇔ q eine Tautologie ist)
∀
∃
für alle ...(Allquantor)
es existiert ein....(Existenzquantor)
Zahlbereiche
Symbol
N
+
Bedeutung
die natürlichen Zahlen (einschließlich der Null)
N
Q
die positiven natürlichen Zahlen (ohne Null)
die rationalen Zahlen
Z
R
die ganzen Zahlen
die reellen Zahlen
1
3
Mengen und Relationen
Symbol
∈
6∈
|M | oder ]M
M
A⊆B
B⊇A
∅
P(M )
A∪B
A∩B
A − B oder A \ B
(x, y)
M ×N
4A
R−1
R⊗S
Bedeutung
...Element von...
...nicht (kein) Element von...
Anzahl der Elemente von M (Kardinalität von M )
Komplement(menge) von M
A ist Teilmenge von B
B ist Obermenge von A
leere Menge
Potenzmenge von M –Menge aller Teilmengen von M
Vereinigung von A und B
Durchschnitt von A und B
Mengendifferenz von A und B
geordnetes Paar
Kreuzprodukt der Mengen M und N
Diagonale über A, Menge der Paare (x, x) mit x ∈ A
inverse Relation zu R
inneres Produkt der Relationen R und S
2