INF9840 – Computability theory
Course description
Course content
This course gives an introduction to classic computability theory (also known as recursion theory). The course covers the following topics: primitive recursion, computable functions and computable indices, semi-computable