TeachingThis 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:
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:
Descriptive set theory (S2013)
This course follows Alexander Kechris' Classical descriptive set theory (Springer, GTM 156, 1995).
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
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 1
Lecture 1 notes
lecture 2 slides
lecture 3 slides
lecture 4 slides
Ramsey's theorem (assignment)