Inhoudsopgave
7 relaties: Ackermannfunctie, Berekenbaarheid, Busy beaver, Functie (wiskunde), Functiecompositie, Natuurlijk getal, Theoretische informatica.
- Wiskundige functie
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.
Bekijken Primitief recursieve functie en Ackermannfunctie
Berekenbaarheid
In de complexiteitstheorie is berekenbaarheid een eigenschap van functies.
Bekijken Primitief recursieve functie en Berekenbaarheid
Busy beaver
Een busy beaver met n toestanden is een terminerende turingmachine die een zo groot mogelijk aantal stappen doet.
Bekijken Primitief recursieve functie en Busy beaver
Functie (wiskunde)
Grafiek van de functie f(x).
Bekijken Primitief recursieve functie en Functie (wiskunde)
Functiecompositie
Functiecompositie g \circ f van de functies f en g, bijvoorbeeld is (g \circ f)(3).
Bekijken Primitief recursieve functie en Functiecompositie
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.
Bekijken Primitief recursieve functie en Natuurlijk getal
Theoretische informatica
De theoretische informatica is het vakgebied binnen de informatica dat de logische en wiskundige grondslagen van de informatica bestudeert.
Bekijken Primitief recursieve functie en Theoretische informatica
Zie ook
Wiskundige functie
- Afbeelding (wiskunde)
- Afgeleide
- Algebraïsche functie
- Asafsnede
- Bereik (wiskunde)
- Biholomorfisme
- Bijectie
- Coördinatentransformatie
- Codomein
- Domein (wiskunde)
- Functie (wiskunde)
- Functiecompositie
- Functionele decompositie
- Grafiek (wiskunde)
- Homeomorfisme
- Identieke afbeelding
- Inbedding
- Injectie (wiskunde)
- Integraal
- Inversie (meetkunde)
- Involutie (wiskunde)
- Isometrie (wiskunde)
- Lijnperspectief
- Lijnvermenigvuldiging
- Lineaire afbeelding
- Lokaal diffeomorfisme
- Möbius-transformatie
- Nulpunt (wiskunde)
- Paringsfunctie
- Partiële functie
- Primitief recursieve functie
- Rekenkundige functie
- Spiegeling (meetkunde)
- Stuksgewijs
- Surjectie
- Transcendente functie
- Transformatie (wiskunde)
- Translatie (meetkunde)
- Tweede afgeleide
- Variatie (wiskunde)
- Vectorprojectie