|
Teaching This page is no longer being updated, as I now use the Absalon system to post notes and information for my courses.Dis (Diskret matematik) (F2014,F2015,F2016,F2017,F2018)
Mine forelæsningsnoter til kurset:
DIStillat Introduction to Mathematical Logic (S2012, S2013, S2014, FW2014/15) This course follows Herbert Enderton's A mathematical introduction to logic (2ed, AP, 2001), but with some supplements:
Lecture 1 notes Descriptive set theory (S2013) This course follows Alexander Kechris' Classical descriptive set theory (Springer, GTM 156, 1995).
A guided tour of ordinals Axiomatic set theory and forcing (W2014) This course followed K. Kunen's textbook "Set Theory: An introduction to Independence Proofs" (North-Holland, 1980), as well as some lecture notes by D.A. Martin
Assignment 1 Diskret Matematik, a.k.a. DIS (F2014) This course follows a set of lecture notes written by Jesper Lutzen. Some slides and notes: Slides form lecture 1Lecture 1 notes lecture 2 slides lecture 3 slides lecture 4 slides Ramsey's theorem (assignment) Conceptual exercises |