Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00775789n
Noun Concept
SYL
No term available
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
EN
symbolic logic
EN
theory of computation
EN
theoretical computer science
HAS PART
EN
Smn theorem
HAS KIND
EN
computational complexity theory
EN
Kleene's recursion theorem
EN
pumping lemma
EN
Ackermann function
EN
computability

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