Mathematik
- Logik
- Skolem Normalform
- Skolemisierung
- Erfüllbarkeitsreduktion
- Erfüllbarkeitsäquivalenz prädikatenlogische Formeln
- Existenzquantor
- Allquantor
- Quantor
- Universelle Formel
- Existenzielle Formel
- Satz prädikatenlogische Formel äquivalent zu PNF
- Pränexe Normalform
- Äquivalenz prädikatenlogische Formeln
- Folgerungsbeziehungsproblem der Prädikatenlogik
- Erfüllbarkeitsproblem der Prädikatenlogik
- Erfüllbarkeit (Aussagenlogik)
- Satz Unerfüllbar gdw bot herleitbar
- Prädikatenlogik
- Satz Formel aus Menge herleitbar gdw Menge und Negation der Formel unerfüllbar
- Prädikatenlogische Folgerungsbeziehung
- Folgerungsbeziehung
- Aussagenlogische Folgerungsbeziehung
- Substitution
- Grund-atomare prädikatenlogische Formel
- Atomare prädikatenlogische Formel
- Interpretation von prädikatenlogische Formeln
- Variablenbelegungsveränderung
- Zusammenfassung Syntax Prädikatenlogik
- Term
- Prädikatenlogische Formel
- Interpretation von Termen
- Struktur
- Grundterm
- Signatur
- Relationale Signatur
- Algebraische Signatur
- Satz Vollständigkeit der aussagenlogischen Resolution
- Resolutionsbeweis
- Mathematik
- Resolvente
- Aussagenlogischen Formel
- Komplement
- Vereinigung
- Schnittmenge
- Mengenlehre
- Relatives Komplement
- Disjunkte Vereinigung
- Distributivgesetz
- Funktion
- Schubfachprinzip
- Kommutativität der Disjunktion
- Äquivalenzumformung
- Aussagenlogische Gesetze
- Ersetzungslemma
- Äquivalente Substitution
- Kommutativität der Konjunktion
- Äquivalenz aussagenlogischer Formeln
- Symmetrische Relation
- Aussagenlogik
- Aussagenlogische Variable
- Boolescher Wert
- Disjunktionsterm
- Erfüllbarkeitsproblem für quantifizierte boolesche Formeln
- Junktor
- Konjunktion
- Konjunktionterm
- Konjunktive Normalform
- Lemma Falls einschränkt gleich dann auch für Teilmenge der Einschränkung gleich
- Einschränkung einer Funktion
- Variablen einer aussagenlogischen Formel
- Lemma Tautologie gdw neg unerfüllbar
- Unerfüllbarkeit (Aussagenlogik)
- Tautologie
- 1-Belegung
- Teilmenge
- 0-Belegung
- Knappe Variablenbelegung
- Auswertung einer aussagenlogischen Formel unter einer Belegung
- Variablenbelegung
- Passende Variablenbelegung
- Wahrheitswerte
- Satz Variablen und Junktoren
- Kardinalität
- echte Teilmenge
- Logarithmische Platzkomplexität berechenbare Funktion
- Maximum flow problem
- Satz RELPRIME ist in P
- Satz Flusswert bei Quelle und Senke gleich
- Flusswert
- Flusserhalt
- s-t-Fluss
- Kapazitätskonformität
- Netzwerk
- Fluss
- Ausgangskanten
- Stützhyperebene
- Optimierung
- Lineare Optimierung
- N-Dimensionaler Polyeder
- Matrix
- Polytop
- Abgeschlossene Menge
- Offene Menge
- Beschränkte Menge
- 3-Dimensionaler Polyeder
- Lineares Programm
- Zulässige Menge
- Satz absteigende Kettenbedingung
- Minimales Element
- Maximales Element
- größtes Element
- kleinstes Element
- Striktordnung
- Totale Ordnung
- Quasiordnung
- Satz kleiner gleich ist partielle Ordnung auf N
- Peano-Axiome
- Multiplikation natürlicher Zahlen
- Addition natürlicher Zahlen
- natürlichen Zahlen
- Induktion
- Zahlentheorie
- Ordnung auf N
- partiell geordnete Menge
- Partielle Ordnung
- Transitive Relation
- Irreflexive Relation
- Reflexive Relation
- Antisymmetrische Relation
- Homogene Relation
- Relation
- Ordnungsrelation
- Tutte-Berge Formel
- Flower (Graphentheorie)
- Heiratssatz
- Symmetrische Differenz
- Satz augmentierender Kantenzug unmatched weg bipartite
- Beweis durch Widerspruch
- Indirekter Beweis
- Hesse-Matrix
- Verwerfungsmethode
- Binärer Bayesscher Filter
- Bayesscher Filter
- Geometrie
- Analysis
- Algebra
- Mittelwert
- Koordinatensystem
- Lag-Polynom
- Martingal
- Lag-Operator
- Differenzenfolge
- Bedingte Wahrscheinlichkeit
- Isolinie
- odds ratio
- Skalarprodukt
- Frobeniusnorm
- Teilerfremdheit
- Reellen Zahlen
- Komplexe Zahl
- k-adische Darstellung
- Fundamentalsatz der Arithmetik
- ganzen Zahlen
- Zustand
- Theorie der optimalen Steuerungen
- Hamilton-Funktion
- Steuerung
- Co-Zustand
- Stochastik
- Stichprobe
- Stichprobenziehung nach Wichtigkeit
- Statistik
- Satz von Donsker
- Perfekte Multikollinearität
- Methode der kleinsten Quadrate
- low variance sampling
- log odds
- Grenzeffekt
- Varianz
- Standardnormalverteilung
- Standardabweichung
- inverses Belegungsgitterkartensensormodell
- Zielfunktion
- Uneingeschränktes Optimierungsproblem
- Strikter Minimierer
- Optimierungsproblem
- Satz vom Minimum und Maximum
- Minimierer
- Lokaler Minimierer
- Globaler Minimierer
- Lagrange Optimierungsverfahren
- Entscheidungsvariable
- Eingeschränktes Optimierungsproblem
- Nichtlineare Optimierung
- dual Lineares Programm
- Ganzzahlige lineare Optimierung
- Wachstumsrate
- Linearisierung
- Diskretisierung
- Fraktal
- Binomische Formeln
- Abhängige und unabhängige Variable
- Partition
- paarweise disjunkt
- Mengenungleichheit
- Mengengleichheit
- Menge
- Konvexe Menge
- Lexikographische Ordnung
- Totale Relation
- Extremalpunkt
- Halbraum
- Eindeutige Relation
- disjunkt
- Boolesche Funktion
- Bipartition
- Literal
- Tangente
- Kosinussatz
- euklidische Metrik
- Dreiecksungleichung
- double reflection principle
- Taylor-Formel
- Vektorfeld
- Skalarfeld
- Nullstelle
- Mitternachtsformel
- Konvex
- Konkav
- Gradientenfeld
- Gradient
- Euler-Gleichung
- Submultiplikativität
- Summe
- Reinquadratischen Gleichung
- Quotient
- Quadratische Gleichung
- Produkt
- Multiplikativität
- Polynom
- Duale Zahl
- Duale Konjugation
- Vektor
- Vektoraddition
- Spektralnorm
- Skalarmultiplikation
- Singulärwerte
- Satz Eigenwerte von Dreiecksmatrizen
- Rang
- Orthonormalbasis
- orthonomal
- Orthogonale Matrix
- Norm
- orthogonal
- Motivation Eigenwerte und Eigenvektoren
- Matrixnorm
- Linearkombination
- Lineare Hülle
- Lineare Unabhängigkeit
- Inverse Matrix
- Konvexkombination
- Hauptdiagonale
- Einheitsmatrix
- Eigenwert und Eigenvektor
- Matrixmultiplikation
- Drehmatrix
- Eigenraum
- Diagonalmatrix
- Determinante
- Determinante einer Dreiecksmatrix
- Affine Abbildung
- Abbildungsmatrix
- Periodische Funktion
- unique function
- RELPRIME
- Vollständiger Graph
- Teilgraph