The curriculum, spring 2022_亚博娱乐官网_亚博pt手机客户端登录

larsk
2022-05-20T15:04:19.234Z
type:structured-message
www.uio.no

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.