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