Week 1      Monday, Aug 31 (1012 in ED) Lecture: Introduction: "Hilbert's Hotel" Notes: hilbert.html  Wednesday, Sep 2 (1316 in Ideläran) Exercises: Sets and Functions (book: Ch. 2+3)  Thursday, Sep 3 (1012 in EB) Lecture: Logic (book: Ch. 1)  Friday, Sep 4 (1012 in ED) Lecture: Logic (book: Ch. 1) 

Week 2      Monday, Sep 7 (1012 in EC) Lecture: Invariants (book: Ch. 4.1) Notes: induction.html  Wednesday, Sep 9 (1316 in Ideläran) Exercises: Logic (book: Ch. 1)  Thursday, Sep 10 (1012 in EB) Lecture: Induction (book: Ch. 4.14.2) Notes: induction.html  Friday, Sep 11 (1012 in ED) Lecture: Sums (book: Ch. 4.3) Notes: induction.html  OBS: The Monday lectures are in EC from now on! 
Week 3      Monday, Sep 14 (1012 in EC) Lecture: More Induction (book: Ch. 4) Notes: induction.html  Wednesday, Sep 16 (1316 in Ideläran) Exercises: Induction (book: Ch. 4)  Thursday, Sep 17 (1012 in EB) Lecture: Divisibility and Prime Numbers (book: Ch. 5.15.3) Code: Code.hs Notes: EuklidesochBezout.pdf  Friday, Sep 18 (1012 in ED) Lecture: Fundamental Theorem of Arithmetic (book: Ch. 5.3) Code: Code.hs Notes: EuklidesochBezout.pdf 

Week 4       Wednesday, Sep 23 (1316 in Ideläran) Exercises: All exercises from the first three weeks.  Thursday, Sep 24 (1012 in EB) Lecture: "By Popular Demand" proof methods (pdf)  Friday, Sep 25 (1012 in ED) MiniExam: read more 

Week 5      Monday, Sep 28 (1012 in EC) Lecture: Congruence and Chinese Remainder Theorem (book: Ch. 3.63.7,5.45.5) Code: Code.hs Notes: EuklidesochBezout.pdf  Wednesday, Sep 30 (1316 in Ideläran) Exercises: Arithmetic (book: Ch. 5)  Thursday, Oct 1 (1012 in EB) Lecture: RSA Crypto (book: Ch. 5.55.7)  Friday, Oct 2 (1012 in ED) Lecture: Structural Induction Notes: StructuralInduction.pdf 

Week 7      Monday, Oct 12 (1012 in EC) Lecture: Guest lecture by Magnus Björk from Jeppesen Systems  Wednesday, Oct 14 (1316 in Ideläran) Exercises: Graphs (book: Ch. 7)  Thursday, Oct 15 (1012 in EB) Lecture: Combinatorics (book: Ch. 6.16.3, 9.1) Code: Code.hs Notes: Kombinatorik.pdf  Friday, Oct 16 (1012 in ED) Lecture: Combinations (book: Ch. 6.16.3, 9.1) Code: Code.hs Notes: Kombinatorik.pdf 

Week 8      Monday, Oct 19 (1012 in EC) Lecture: Theme lecture on Automated Theorem Proving, by Koen Claessen and Dan Rosén  Wednesday, Oct 21 (1316 in Ideläran) Exercises: Combinatorics (book: Ch. 6+9.1)  Thursday, Oct 22 (1012 in VF) Lecture: "By Popular Demand" (you can propose topics)  Friday, Oct 23 (1012 in ED) Lecture: Course Summary, History of Discrete Mathematics  OBS: The Thursday lecture is in VF 
