| Week 1 | | | | | Monday, Aug 31 (10-12 in ED)
Lecture: Introduction: "Hilbert's Hotel" Notes: hilbert.html | Wednesday, Sep 2 (13-16 in Ideläran)
Exercises: Sets and Functions
(book: Ch. 2+3) | Thursday, Sep 3 (10-12 in EB)
Lecture: Logic
(book: Ch. 1) | Friday, Sep 4 (10-12 in ED)
Lecture: Logic
(book: Ch. 1) |
|
| Week 2 | | | | | Monday, Sep 7 (10-12 in EC)
Lecture: Invariants
(book: Ch. 4.1) Notes: induction.html | Wednesday, Sep 9 (13-16 in Ideläran)
Exercises: Logic
(book: Ch. 1) | Thursday, Sep 10 (10-12 in EB)
Lecture: Induction
(book: Ch. 4.1-4.2) Notes: induction.html | Friday, Sep 11 (10-12 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 (10-12 in EC)
Lecture: More Induction
(book: Ch. 4) Notes: induction.html | Wednesday, Sep 16 (13-16 in Ideläran)
Exercises: Induction
(book: Ch. 4) | Thursday, Sep 17 (10-12 in EB)
Lecture: Divisibility and Prime Numbers
(book: Ch. 5.1-5.3) Code: Code.hs Notes: EuklidesochBezout.pdf | Friday, Sep 18 (10-12 in ED)
Lecture: Fundamental Theorem of Arithmetic
(book: Ch. 5.3) Code: Code.hs Notes: EuklidesochBezout.pdf |
|
| Week 4 | | | | | | Wednesday, Sep 23 (13-16 in Ideläran)
Exercises: All exercises from the first three weeks. | Thursday, Sep 24 (10-12 in EB)
Lecture: "By Popular Demand"
proof methods (pdf) | Friday, Sep 25 (10-12 in ED)
Mini-Exam: read more |
|
| Week 5 | | | | | Monday, Sep 28 (10-12 in EC)
Lecture: Congruence and Chinese Remainder Theorem
(book: Ch. 3.6-3.7,5.4-5.5) Code: Code.hs Notes: EuklidesochBezout.pdf | Wednesday, Sep 30 (13-16 in Ideläran)
Exercises: Arithmetic
(book: Ch. 5) | Thursday, Oct 1 (10-12 in EB)
Lecture: RSA Crypto
(book: Ch. 5.5-5.7) | Friday, Oct 2 (10-12 in ED)
Lecture: Structural Induction Notes: StructuralInduction.pdf |
|
| Week 7 | | | | | Monday, Oct 12 (10-12 in EC)
Lecture: Guest lecture by Magnus Björk from Jeppesen Systems | Wednesday, Oct 14 (13-16 in Ideläran)
Exercises: Graphs
(book: Ch. 7) | Thursday, Oct 15 (10-12 in EB)
Lecture: Combinatorics
(book: Ch. 6.1-6.3, 9.1) Code: Code.hs Notes: Kombinatorik.pdf | Friday, Oct 16 (10-12 in ED)
Lecture: Combinations
(book: Ch. 6.1-6.3, 9.1) Code: Code.hs Notes: Kombinatorik.pdf |
|
| Week 8 | | | | | Monday, Oct 19 (10-12 in EC)
Lecture: Theme lecture on Automated Theorem Proving, by Koen Claessen and Dan Rosén | Wednesday, Oct 21 (13-16 in Ideläran)
Exercises: Combinatorics
(book: Ch. 6+9.1) | Thursday, Oct 22 (10-12 in VF)
Lecture: "By Popular Demand"
(you can propose topics) | Friday, Oct 23 (10-12 in ED)
Lecture: Course Summary, History of Discrete Mathematics |
OBS: The Thursday lecture is in VF |
|