7 relaties: Ackermannfunctie, Berekenbaarheid, Busy beaver, Functie (wiskunde), Functiecompositie, Natuurlijk getal, Theoretische informatica.
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!!: Primitief recursieve functie en Ackermannfunctie · Bekijk meer »
Berekenbaarheid
In de complexiteitstheorie is berekenbaarheid een eigenschap van functies.
Nieuw!!: Primitief 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!!: Primitief recursieve functie en Busy beaver · Bekijk meer »
Functie (wiskunde)
Grafiek van de functie f(x).
Nieuw!!: Primitief 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!!: Primitief 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!!: Primitief recursieve functie en Natuurlijk getal · Bekijk meer »
Theoretische informatica
De theoretische informatica is het vakgebied binnen de informatica dat de logische en wiskundige grondslagen van de informatica bestudeert.
Nieuw!!: Primitief recursieve functie en Theoretische informatica · Bekijk meer »