HOME SCHEDULE EXERCISES ASSIGNMENTS BOOK ZOOM FIRE TIME-EDIT
SCHEDULE EXERCISES ASSIGNMENTS BOOK ZOOM FIRE TIME-EDIT


Week 1

Mon, Aug 31 (10-12 in Zoom)
Lecture: Introduction

Wed, Sep 2 (13-16 in Zoom)
Exercises: Sets and Functions

Thu, Sep 3 (10-12 in Zoom)
Lecture: Logic and Proofs I
Ch. 1 and 2 (2.1-2.3)

Fri, Sep 4 (10-12 in Zoom)
Lecture: Logic and Proofs II
Ch. 3 (3.1-3.4, 3.6)


Week 2

Mon, Sep 7 (10-12 in Zoom)
Lecture: Invariants
Ch. 5 and 6 (not 6.3-6.4)

Wed, Sep 9 (13-16 in Zoom)
Exercises: Logic and Proofs

Thu, Sep 10 (10-12 in Zoom)
Lecture: Induction
Ch. 5 and 6 (not 6.3-6.4)

Fri, Sep 11 (10-12 in Zoom)
Lecture: Big Sums
Ch. 14 (14.1-14.2)


Week 3

Mon, Sep 14 (10-12 in Zoom)
Lecture: Applications of Induction

Wed, Sep 16 (13-16 in Zoom)
Exercises: Induction

Thu, Sep 17 (10-12 in Zoom)
Lecture: Prime Numbers
Ch. 9

Fri, Sep 18 (10-12 in Zoom)
Lecture: Diophantine Equations
Ch. 9


Week 4

Mon, Sep 21 (10-12 in Zoom)
Lecture: Modulo Arithmetic
Ch. 9 and 10.10

Wed, Sep 23 (13-16 in Zoom)
Exercises: Arithmetic

Thu, Sep 24 (10-12 in Zoom)
Lecture: RSA Cryptography
Ch. 9.11


Week 5

Wed, Sep 30 (13-16 in Zoom)
Exercises: All exercises from the past 4 weeks

Thu, Oct 1 (10-12 in Zoom)
Lecture: By Popular Demand


Week 6

Mon, Oct 5 (10-12 in Zoom)
Lecture: Structural Induction

Wed, Oct 7 (13-16 in Zoom)
Exercises: Structural Induction

Thu, Oct 8 (10-12 in Zoom)
Lecture: Graphs I
Ch. 10 and 12

Fri, Oct 9 (10-12 in Zoom)
Lecture: Graphs II
Ch. 10 and 12


Week 7

Mon, Oct 12 (10-12 in Zoom)
Lecture: Guest Lecture on Automated Induction

Wed, Oct 14 (13-16 in Zoom)
Exercises: Graphs

Thu, Oct 15 (10-12 in Zoom)
Lecture: Combinatorics I
Ch. 15

Fri, Oct 16 (10-12 in Zoom)
Lecture: Combinatorics II
Ch. 15


Week 8

Mon, Oct 19 (10-12 in Zoom)
Lecture: By Popular Demand

Wed, Oct 21 (13-16 in Zoom)
Exercises: Combinatorics

Thu, Oct 22 (10-12 in Zoom)
Lecture: Course Summary, History of Discrete Mathematics

Fri, Oct 23 (10-11 in Zoom)
Extra Lecture: Old Exam Questions


Week 9

Tue, Oct 27 (tentamen)
Tentamen