abgeschlossenes System
Ableitung
Abstand
abzählbar
adjazent
Äquivalenzrelation
äquivalente Formeln
Antikette
antisymmetrisch
Aussage (aussagenlogisch)
Aussage (prädikatenlogisch)
Auswahlaxiom
Bernstein's Äquivalenzsatz
bijektiv
Binomialkoeffizient
Binomische Formel
bipartit
Boolesche Algebra
Breadth First Search
Cassini's Ungleichung
chromatische Zahl
Darstellungssatz für endliche
Boolesche Algebren
deduktive Abschluß
de Morganschen Regeln
Diagonale
Digraph
disjunktive Normalform
Doppelte Abzählung
Doppelte Verneinung
Dualitätsprinzip für Verbände
E-V-Überdeckung
Ecke eines Digraphen
Ecke eines Graphen
Endlichkeitssatz
Erfüllbarkeit
Ersetzung
Eulersche Linien
Fibonaccizahlen
Fixpunkteigenschaft
folgt aus
Formel (aussagenlogisch)
Formel (prädikatenlogisch)
geordnete Menge
gerichteter Graph
gerichtete Kante
Gleichheitsrelation
gleichmächtig
Gödel's Vollständigkeitssatz
ungerichteter Graph
Grad
größtes Element
Hamilton'scher Kreis
Homomorphismus von Relationen
höchstens abzählbar
Hüllenoperator
Ideal
Identität
Infimum
injektiv
inverse Relation
irreflexiv
isomorphe binäre Relationen
Junktor
Kante
Kardinalzahl
Kette
Klausel
kleinstes Element
Kompaktheitssatz
Komposition einer Relation
Kongruenzrelation
|
konjunktive Normalform
kontradiktorisch
Kreis
Lemma von Zorn
lexikographische Ordnung
Limeszahl
Literal
Matching
maximal
minimal
Modell
oberer Nachbar
obere Schranke
Ordinalzahl
Ordnungsrelation
Partition
k-Partition
Pascal'sches Dreieck
pränaexe Normalform
Produktregel
reflexiv
Rekursionsgleichung
Relation
Relationsprodukt
(k-) SAT
Satz von Abian/Brown
Satz von Brooks
Satz von deBruijn/Erdös
Satz von Dilworth
Satz von Euler
Satz von Hall
Satz von Knaster/Tarski
Satz von König
Satz von Schröder
Satz von Sperner
Schlinge
Siebformel
Signatur
Skolemsche Normalform
starke (Zusammenhangs-) Komponenten
Stirling-Zahlen zweiter Art
Struktur
Substitution
Summenregel
Supremum
surjektiv
symmetrische Relation
tautologisch
Term
Theorie
transfinite Induktion
transitive Relation
transitive Menge
transitive Hülle
Transposition einer Relation
Überdeckung
unabhängige Eckenmenge
ungerichteter Graphen
unterer Nachbar
untere Schranke
unvergleichbar
V-E-Überdeckung
Verband
verbandsgeordnete Menge
vergleichbar
vollständige Eckenmenge
vollständiger Verband
Weg
Wohlordnung, wohlgeordnet
Wohlordnungssatz
widersprüchlich
zusammenhängend
|
