Discrete Mathematics (2017)

Lecture notes, slides, and exercises for the undergraduate course Discrete Mathematics (spring 2017).

Lecture notes

• Lecture notes (chapters 1–4)

Lecture slides

• Chapter 1
• Chapter 2
• Chapter 3
• Chapter 4

Supplementary material

• Gentzen System
• Hilbert System
• Equivalence of Gentzen and Hilbert systems
• First-order Logic
• Hintikka set
• DPLL

Exercises

• Exercise sheet for chapters 2–3