23 Beziehungen: Ackermannfunktion, Albert Thoralf Skolem, Berechenbarkeit, Beweise der gödelschen Unvollständigkeitssätze, Cantorsche Paarungsfunktion, Endrekursion, Μ-Rekursion, Kleenesche Normalform, Landau-Symbole, LOOP-Programm, Natürliche Zahl, Peano-Arithmetik, Peano-Axiome, PR, PRF, Primitivität, Rekursion, Rekursiv aufzählbare Menge, Rekursive Sprache, Sudanfunktion, Terminiertheit, Turing-Vollständigkeit, Wilhelm Ackermann (Mathematiker).
Ackermannfunktion
Die Ackermannfunktion ist eine 1926 von Wilhelm Ackermann gefundene, extrem schnell wachsende mathematische Funktion, mit deren Hilfe in der theoretischen Informatik Grenzen von Computer- und Berechnungsmodellen aufgezeigt werden können.
Neu!!: Primitiv-rekursive Funktion und Ackermannfunktion · Mehr sehen »
Albert Thoralf Skolem
Albert Thoralf Skolem (1930er Jahre) Albert Thoralf Skolem (* 23. Mai 1887 in Sandsvaer; † 23. März 1963 in Oslo) war ein norwegischer Mathematiker, Logiker und Philosoph.
Neu!!: Primitiv-rekursive Funktion und Albert Thoralf Skolem · Mehr sehen »
Berechenbarkeit
Eine mathematische Funktion ist berechenbar (auch effektiv berechenbar oder rekursiv), wenn für sie eine Berechnungsanweisung (Algorithmus) formuliert werden kann (Berechenbarkeitstheorie).
Neu!!: Primitiv-rekursive Funktion und Berechenbarkeit · Mehr sehen »
Beweise der gödelschen Unvollständigkeitssätze
Dieser Artikel skizziert Beweise der Gödelschen Unvollständigkeitssätze.
Neu!!: Primitiv-rekursive Funktion und Beweise der gödelschen Unvollständigkeitssätze · Mehr sehen »
Cantorsche Paarungsfunktion
Die Cantorsche Paarungsfunktion, manchmal auch Nummerierungsfunktion genannt, ist eine unter anderem in der theoretischen Informatik verwendete Abbildung, die auf dem Diagonalargument von Cantor basiert.
Neu!!: Primitiv-rekursive Funktion und Cantorsche Paarungsfunktion · Mehr sehen »
Endrekursion
Eine rekursive Funktion f ist endrekursiv (auch endständig rekursiv, iterativ rekursiv, repetitiv rekursiv), wenn der rekursive Funktionsaufruf die letzte Aktion zur Berechnung von f ist.
Neu!!: Primitiv-rekursive Funktion und Endrekursion · Mehr sehen »
Μ-Rekursion
Die Klasse Pr der μ-rekursiven Funktionen oder partiell-rekursiven Funktionen spielt in der Rekursionstheorie, einem Teilgebiet der theoretischen Informatik, eine wichtige Rolle (µ für ‚das kleinste‘).
Neu!!: Primitiv-rekursive Funktion und Μ-Rekursion · Mehr sehen »
Kleenesche Normalform
Die Kleenesche Normalform ist ein Begriff aus der Berechenbarkeitstheorie.
Neu!!: Primitiv-rekursive Funktion und Kleenesche Normalform · Mehr sehen »
Landau-Symbole
Landau-Symbole (auch O-Notation) werden in der Mathematik und in der Informatik verwendet, um das asymptotische Verhalten von Funktionen und Folgen zu beschreiben.
Neu!!: Primitiv-rekursive Funktion und Landau-Symbole · Mehr sehen »
LOOP-Programm
LOOP-Programme sind Programme in der Programmiersprache LOOP, einer stark eingeschränkten, modellhaften Sprache, die nur die Formulierung von Additionen, Wertzuweisungen und endlich oft durchlaufende Schleifen erlaubt.
Neu!!: Primitiv-rekursive Funktion und LOOP-Programm · Mehr sehen »
Natürliche Zahl
reellen Zahlen (ℝ) sind. Die natürlichen Zahlen sind die beim Zählen verwendeten Zahlen 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 usw.
Neu!!: Primitiv-rekursive Funktion und Natürliche Zahl · Mehr sehen »
Peano-Arithmetik
Die Peano-Arithmetik (erster Stufe, kurz PA) ist eine Theorie der Arithmetik, also der natürlichen Zahlen, innerhalb der Prädikatenlogik erster Stufe.
Neu!!: Primitiv-rekursive Funktion und Peano-Arithmetik · Mehr sehen »
Peano-Axiome
Die Peano-Axiome (auch Dedekind-Peano-Axiome oder Peano-Postulate) sind fünf Axiome, welche die natürlichen Zahlen und ihre Eigenschaften charakterisieren.
Neu!!: Primitiv-rekursive Funktion und Peano-Axiome · Mehr sehen »
PR
PR steht als Abkürzung für.
Neu!!: Primitiv-rekursive Funktion und PR · Mehr sehen »
PRF
Die Abkürzung PRF steht für.
Neu!!: Primitiv-rekursive Funktion und PRF · Mehr sehen »
Primitivität
Kubisch primitive Elementarzelle. Primitivität (latein. primitivus „der Erste in seiner Art“) ist eine Bezeichnung für besondere Einfachheit.
Neu!!: Primitiv-rekursive Funktion und Primitivität · Mehr sehen »
Rekursion
Unendlichfache Spiegelung als Beispiel für '''Rekursion''': Die Person sitzt mit vorgehaltenem Spiegel einem größeren Wandspiegel gegenüber. Das jeweils folgende Spiegelbild enthält sich selbst als Teil. Als Rekursion wird ein prinzipiell unendlicher Vorgang, der sich selbst als Teil enthält oder mithilfe von sich selbst definierbar ist, bezeichnet.
Neu!!: Primitiv-rekursive Funktion und Rekursion · Mehr sehen »
Rekursiv aufzählbare Menge
Als rekursiv aufzählbare Menge (auch semi-entscheidbare Menge, positiv semi-entscheidbare Menge, halb-entscheidbare Menge, berechenbar aufzählbare Menge, kurz r.e., c.e.) wird in der Berechenbarkeitstheorie eine Menge von natürlichen Zahlen bezeichnet, wenn es einen Algorithmus gibt, der die Elemente dieser Menge aufzählt.
Neu!!: Primitiv-rekursive Funktion und Rekursiv aufzählbare Menge · Mehr sehen »
Rekursive Sprache
In der theoretischen Informatik heißt eine formale Sprache L über einem Alphabet \Sigma rekursiv (entscheidbar), wenn eine Turingmaschine M existiert, die auf allen Eingaben w \in \Sigma^* hält und jede Eingabe w \in \Sigma^* genau dann akzeptiert, wenn w \in L ist.
Neu!!: Primitiv-rekursive Funktion und Rekursive Sprache · Mehr sehen »
Sudanfunktion
Die Sudanfunktion ist eine rekursive berechenbare Funktion, die total μ-rekursiv, jedoch nicht primitiv rekursiv ist, was sie mit der bekannteren Ackermannfunktion gemeinsam hat.
Neu!!: Primitiv-rekursive Funktion und Sudanfunktion · Mehr sehen »
Terminiertheit
Terminiertheit ist ein Begriff aus der Berechenbarkeitstheorie, einem Teilgebiet der theoretischen Informatik.
Neu!!: Primitiv-rekursive Funktion und Terminiertheit · Mehr sehen »
Turing-Vollständigkeit
Mit Turing-Vollständigkeit (engl. turing completeness) eines Systems wird seine universelle Programmierbarkeit beschrieben.
Neu!!: Primitiv-rekursive Funktion und Turing-Vollständigkeit · Mehr sehen »
Wilhelm Ackermann (Mathematiker)
Wilhelm Ackermann (ca. 1935) Wilhelm Friedrich Ackermann (* 29. März 1896 in Schönebecke (Herscheid); † 24. Dezember 1962 in Lüdenscheid) war ein deutscher Mathematiker.
Neu!!: Primitiv-rekursive Funktion und Wilhelm Ackermann (Mathematiker) · Mehr sehen »
Leitet hier um:
Primitiv rekursive Arithmetik, Primitive Rekursion.