Curriculum

The curriculum consists of two parts.

• Part I, Computability theory: Chapter 7 of a "A friendly introduction to mathematical logic".
• Part II, Computable analysis: Selected parts of Oliver Aberth's book "Computable analysis". You find the book here.