Inhaltsverzeichnis
21 Beziehungen: Äquivalenzrelation, Entscheidbar, Franz Baader, Gérard Huet, Identität, Journal of the ACM, Konfluenz (Informatik), Mathematische Logik, Menge (Mathematik), Normalform, Quasiordnung, Reflexive Relation, Ronald V. Book, Satz von Church-Rosser, Termersetzungssystem, Terminiertheit, Theoretische Informatik, Transitionssystem, Transitive Hülle (Relation), Transitive Relation, Wortproblem.
Äquivalenzrelation
Unter einer Äquivalenzrelation versteht man in der Mathematik eine zweistellige Relation, die reflexiv, symmetrisch und transitiv ist.
Sehen Reduktionssystem und Äquivalenzrelation
Entscheidbar
In der theoretischen Informatik heißt eine Eigenschaft auf einer Menge entscheidbar (auch rekursiv, rekursiv ableitbar), wenn es ein Entscheidungsverfahren für sie gibt.
Sehen Reduktionssystem und Entscheidbar
Franz Baader
Franz Baader (* 15. Juni 1959 in Spalt) ist ein deutscher Informatiker.
Sehen Reduktionssystem und Franz Baader
Gérard Huet
Gérard Huet (* 7. Juli 1947 in Bourges) ist ein französischer Informatiker.
Sehen Reduktionssystem und Gérard Huet
Identität
Identität (von mittellateinisch identitas ‚Wesenseinheit‘, Abstraktum zu ‚derselbe‘) ist die Gesamtheit der Eigentümlichkeiten, die eine Entität, einen Gegenstand oder ein Objekt kennzeichnen und als Individuum von anderen unterscheiden.
Sehen Reduktionssystem und Identität
Journal of the ACM
Das Journal of the ACM (JACM) ist eine wissenschaftliche Fachzeitschrift, die sechsmal jährlich von der Association for Computing Machinery (ACM) herausgegeben wird.
Sehen Reduktionssystem und Journal of the ACM
Konfluenz (Informatik)
Konfluenz in einem Termersetzungssystem Konfluenz ist ein Begriff aus der Theoretischen Informatik und bezeichnet die Eigenschaft eines Transitionssystems, jedem Element höchstens eine Normalform zuzuordnen.
Sehen Reduktionssystem und Konfluenz (Informatik)
Mathematische Logik
Die mathematische Logik, auch symbolische Logik oder veraltet Logistik, ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik.
Sehen Reduktionssystem und Mathematische Logik
Menge (Mathematik)
Symbolische Darstellung einer Menge von Vielecken leer. Als Menge wird in der Mathematik ein abstraktes Objekt bezeichnet, das aus der Zusammenfassung einer Anzahl einzelner Objekte hervorgeht.
Sehen Reduktionssystem und Menge (Mathematik)
Normalform
Eine Normalform (auch kanonische Form) ist eine mathematische Darstellung mit bestimmten von der Art der Normalform vorgegebenen Eigenschaften.
Sehen Reduktionssystem und Normalform
Quasiordnung
Eine Quasiordnung, auch Präordnung, (englisch preorder) ist eine abgeschwächte Variante einer Halbordnung, bei der es möglich ist, dass verschiedene Elemente in beiden Richtungen vergleichbar sind.
Sehen Reduktionssystem und Quasiordnung
Reflexive Relation
gerichtete Graphen dargestellt Die Reflexivität einer zweistelligen Relation R auf einer Menge ist gegeben, wenn x R x für alle Elemente x der Menge gilt, also jedes Element in Relation zu sich selbst steht.
Sehen Reduktionssystem und Reflexive Relation
Ronald V. Book
Ronald „Ron“ Vernon Book (* 5. März 1937; † 28. Mai 1997 in Santa Barbara, Kalifornien) war ein US-amerikanischer Informatiker.
Sehen Reduktionssystem und Ronald V. Book
Satz von Church-Rosser
Das Church-Rosser-Theorem (bewiesen im Jahr 1936 von Alonzo Church und John Barkley Rosser) ist ein wichtiges Resultat aus der Theorie des Lambda-Kalküls.
Sehen Reduktionssystem und Satz von Church-Rosser
Termersetzungssystem
Die Termersetzungssysteme (TES) sind ein formales Berechnungsmodell in der Theoretischen Informatik.
Sehen Reduktionssystem und Termersetzungssystem
Terminiertheit
Terminiertheit ist ein Begriff aus der Berechenbarkeitstheorie, einem Teilgebiet der theoretischen Informatik.
Sehen Reduktionssystem und Terminiertheit
Theoretische Informatik
Mind-Map zu einem Teilbereich der theoretischen Informatik Die theoretische Informatik beschäftigt sich mit der Abstraktion, Modellbildung und grundlegenden Fragestellungen, die mit der Struktur, Verarbeitung, Übertragung und Wiedergabe von Informationen in Zusammenhang stehen.
Sehen Reduktionssystem und Theoretische Informatik
Transitionssystem
Ein Transitionssystem (englisch transition system) beschreibt in der Automatentheorie die möglichen Zustände eines zustandsbasierten Systems und die möglichen Übergänge (Transitionen) zwischen diesen Zuständen.
Sehen Reduktionssystem und Transitionssystem
Transitive Hülle (Relation)
Die transitive Hülle bzw.
Sehen Reduktionssystem und Transitive Hülle (Relation)
Transitive Relation
gerichtete Graphen dargestellt Eine transitive Relation ist in der Mathematik eine zweistellige Relation R auf einer Menge, die die Eigenschaft hat, dass für drei Elemente x, y, z dieser Menge aus x R y und y R z stets x R z folgt.
Sehen Reduktionssystem und Transitive Relation
Wortproblem
Wortproblem steht für.
Sehen Reduktionssystem und Wortproblem