Course content The course gives an introduction to basic computability theory. This theory can be regarded as a systematic mathematical theory of algorithms and computations. Learning outcome After ...