| Week 1 | | | | | Monday, Aug 29 (10-12 in EB)
Lecture: Introduction: "Hilbert's Hotel" Notes: hilbert.html | Wednesday, Aug 31 (13-16 in Ideläran)
Exercises: Sets and Functions | Thursday, Sep 1 (10-12 in EB)
Lecture: Logic and Proofs
Book: Ch. 1 and 2 (2.1-2.3). Notes: ProofMethods.pdf, logic.html | Friday, Sep 2 (10-12 in EB)
Lecture: Logic and Proofs
Book: Ch. 3 (3.1-3.4, 3.6). Notes: ProofMethods.pdf, logic.html |
|
| Week 5 | | | | | | Wednesday, Sep 28 (13-16 in Ideläran)
Exercises: (all exercises from the past 4 weeks) | Thursday, Sep 29 (10-12 in EB)
Lecture: "By Popular Demand"
(please propose things you want me to talk about (again) on the course forum!) | Friday, Sep 30 (10-12 in EB)
Lecture: Structural Induction Notes: StructuralInduction2016.pdf |
|
| Week 8 | | | | | Monday, Oct 17 (10-12 in EB)
Lecture: Automated Reasoning | Wednesday, Oct 19 (13-16 in Ideläran)
Exercises: Combinatorics | Thursday, Oct 20 (10-12 in EB)
Lecture: "By Popular Demand"
(you can propose topics) | Friday, Oct 21 (10-12 in ED)
Lecture: Course Summary, History of Discrete Mathematics |
|
|