Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00775789n
Noun Concept
NL
berekenbaarheidstheorie  berekenbaarheidsleer  berekenbaarheid theorie  recursie theorie
EN
Computability theory, also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees. Wikipedia
English:
computer science
Relations
Sources
IS A
wiskundige logica
theorie van de berekeningen
theoretische informatica
HAS PART
EN
Smn theorem
HAS KIND
computationele complexiteitstheorie
Kleene's recursion theorem
pompstelling
Ackermannfunctie
berekenbaarheid
Wikidata
NL
berekenbaarheidstheorie
Wikidata Alias
NL
berekenbaarheidsleer
Wikipedia Translations
NL
berekenbaarheid theorie, recursie theorie

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License