The curriculum, spring 2022_篮球即时比分_nba比分直播-彩客网重点推荐

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.