10 relaties: Ackermannfunctie, Afsluiting (verzameling), Berekenbaarheid, Busy beaver, Functie (wiskunde), Functiecompositie, Natuurlijk getal, Primitief recursieve functie, Theoretische informatica, Turingmachine.
Ackermannfunctie
In de berekenbaarheidstheorie is de ackermannfunctie, genoemd naar Wilhelm Ackermann, die de functie in 1926 opstelde, een van de eenvoudigste en vroegst ontdekte voorbeelden van een totale berekenbare functie die niet primitief recursief is.
Nieuw!!: Μ-recursieve functie en Ackermannfunctie · Bekijk meer »
Afsluiting (verzameling)
In de wiskunde is de afsluiting van een verzameling A ten aanzien van een bepaalde eigenschap, de kleinste verzameling met die eigenschap waarvan A een deelverzameling is.
Nieuw!!: Μ-recursieve functie en Afsluiting (verzameling) · Bekijk meer »
Berekenbaarheid
In de complexiteitstheorie is berekenbaarheid een eigenschap van functies.
Nieuw!!: Μ-recursieve functie en Berekenbaarheid · Bekijk meer »
Busy beaver
Een busy beaver met n toestanden is een terminerende turingmachine die een zo groot mogelijk aantal stappen doet.
Nieuw!!: Μ-recursieve functie en Busy beaver · Bekijk meer »
Functie (wiskunde)
Grafiek van de functie f(x).
Nieuw!!: Μ-recursieve functie en Functie (wiskunde) · Bekijk meer »
Functiecompositie
Functiecompositie g \circ f van de functies f en g, bijvoorbeeld is (g \circ f)(3).
Nieuw!!: Μ-recursieve functie en Functiecompositie · Bekijk meer »
Natuurlijk getal
Een natuurlijk getal is een getal dat het resultaat is van een telling van een eindig aantal dingen, dus een van de getallen 0,1,2,3,4,5,\ldots De verzameling natuurlijke getallen wordt aangegeven met het symbool \N.
Nieuw!!: Μ-recursieve functie en Natuurlijk getal · Bekijk meer »
Primitief recursieve functie
In de theoretische informatica vormen de primitief recursieve functies een klasse van totale, berekenbare functies.
Nieuw!!: Μ-recursieve functie en Primitief recursieve functie · Bekijk meer »
Theoretische informatica
De theoretische informatica is het vakgebied binnen de informatica dat de logische en wiskundige grondslagen van de informatica bestudeert.
Nieuw!!: Μ-recursieve functie en Theoretische informatica · Bekijk meer »
Turingmachine
In de informatica is de turingmachine een model van berekening en berekenbaarheid, ontwikkeld door de wiskundige Alan M. Turing in zijn beroemde artikel On computable numbers, with an application to the Entscheidungsproblem uit 1936-37.
Nieuw!!: Μ-recursieve functie en Turingmachine · Bekijk meer »