Mon, Sep 2 (10-12 in EB)
Lecture: Introduction
Wed, Sep 4 (13-16 in Ideläran)
Exercises: Sets and Functions
Thu, Sep 5 (10-12 in EE)
Lecture: Logic and Proofs I
Ch. 1 and 2 (2.1-2.3)
Fri, Sep 6 (10-12 in EB)
Lecture: Logic and Proofs II
Ch. 3 (3.1-3.4, 3.6)
Mon, Sep 9 (10-12 in EB)
Lecture: Invariants
Ch. 5 and 6 (not 6.3-6.4)
Wed, Sep 11 (13-16 in Ideläran)
Exercises: Logic and Proofs
Thu, Sep 12 (10-12 in EE)
Lecture: Induction
Ch. 5 and 6 (not 6.3-6.4)
Fri, Sep 13 (10-12 in EB)
Lecture: Big Sums
Ch. 14 (14.1-14.2)
Mon, Sep 16 (10-12 in EB)
Lecture: Applications of Induction
Wed, Sep 18 (13-16 in Ideläran)
Exercises: Induction
Thu, Sep 19 (10-12 in EE)
Lecture: Prime Numbers
Ch. 9
Fri, Sep 20 (10-12 in EB)
Lecture: Diophantine Equations
Ch. 9
Mon, Sep 23 (10-12 in EB)
Lecture: Modulo Arithmetic
Ch. 9 and 10.10
Wed, Sep 25 (13-16 in Ideläran)
Exercises: Arithmetic
Thu, Sep 26 (10-12 in EE)
Lecture: RSA Cryptography
Ch. 9.11
Wed, Oct 2 (13-16 in Ideläran)
Exercises: All exercises from the past 4 weeks
Thu, Oct 3 (10-12 in EE)
Lecture: By Popular Demand
Fri, Oct 4 (no lecture)
LECTURE CANCELLED / FÖRELÄSNING INSTÄLLD
Mon, Oct 7 (10-12 in EB)
Lecture: Structural Induction
Wed, Oct 9 (13-16 in Ideläran)
Exercises: Structural Induction
Thu, Oct 10 (10-12 in EE)
Lecture: Graphs I
Ch. 10 and 12
Fri, Oct 11 (10-12 in EB)
Lecture: Graphs II
Ch. 10 and 12
Mon, Oct 14 (10-12 in EB)
Lecture: Guest Lecture on Automated Induction
Wed, Oct 16 (13-16 in Ideläran)
Exercises: Graphs
Thu, Oct 17 (10-12 in EE)
Lecture: Combinatorics I
Ch. 15
Fri, Oct 18 (10-12 in EB)
Lecture: Combinatorics II
Ch. 15
Mon, Oct 21 (no lecture)
Lecture: By Popular Demand
Wed, Oct 23 (13-16 in Ideläran)
Exercises: Combinatorics
Thu, Oct 24 (10-12 in EE)
Lecture: Course Summary, History of Discrete Mathematics