The curriculum, spring 2023

IN5580: The official curriculum will be

• A Friendly Introduction to Mathematical Logic: Chapter 7
• Course Notes on Computable Analysis (see link below) with the exception of Chapter 4.

The oral exam will take place Friday the 9th of June.