Sapere Aude Project

DSTOA Project



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
Lecture 2 notes
Lecture 5 notes
Lecture 9 notes
Lecture 10 notes
Lecture 11 notes
Lecture 12 notes
A guide to the completeness theorem
Axioms of set theory (slides)

Descriptive set theory (S2013)

This course follows Alexander Kechris' Classical descriptive set theory (Springer, GTM 156, 1995).

A guided tour of ordinals
Mycielski's theorem; Borel codes
Smooth vs non-smooth/Becker-Kechris' theorem

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
Assignment 2
Assignment 3

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)
Conceptual exercises