INF9840 – Computability theory

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