The curriculum, spring 2022

IN9580: The official curriculum will be

• A Friendly Introduction to Mathematical Logic: Chapter 7
• Aberth, Computable Analysis: from starten of the book to, and including, Section 7.2.
• Aberth, Computable Analysis: Section 13.2 (No Heine-Borel).

IN5580: As above, but you can skip Chapter 6 of Aberth's book (the chapter is recommended  reading, though).

It should be sufficient  to read my course notes on computable analysis  and just use Aberth's book in case you need help to understand my notes.