μ-recursieve functie
Sign in to saveAlso known as general recursive function, recursive function, partial recursive function, μ-recursive functions
one of several equivalent definitions of a computable function
Article · Nederlands
In de theoretische informatica vormen de μ-recursieve functies een klasse van functies. De klasse is gedefinieerd als de klasse van functies die de basisfuncties bevat (de constante nulfunctie, de opvolgerfunctie en de projectiefuncties) en afgesloten is onder compositie, primitieve recursie en minimalisatie. De klasse van primitief recursieve functies vormen een onderklasse van de μ-recursieve functies. De μ-recursieve functies komen precies overeen met de berekenbare functies.
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
Stephen Cole Kleene
Entity
Marvin Minsky
Entity
computability theory
Entity
Church–Turing thesis
Entity
partial function
Entity
primitive recursive function
Entity
computer science
Entity
Alan Turing
Entity
International Standard Book Number
Entity
natural number
Entity
digital object identifier
Entity
mathematical logic
Entity
Turing machine
Entity
JSTOR
Organization
recursion
Entity
domain of a function
Entity
logical negation
Entity
if and only if
Entity
lambda calculus
Entity
Stanford Encyclopedia of Philosophy
Entity