Aug 31 Read Sections 1,2
Do 2#1,2

Sep 5 HW1: 2.5, 2.6, 4.5, 4.9 (Due 9/10)
Read sect.4, work on #2-8

Sep 7 Read Section 3

Sep 10 Finish reading sec 1-4
HW2: 3.2, 3.6, 4.13, 4.14 (due 9/17)

Sep 12 Read section 5
Work on 5.3, 5.4

Sep 14

Sep 17 Lists, Factorial
Do some problems from sect 7
Written hwk Due 9/24 (HW3)

Sep 19
Sets
9.1, 9.2, 9.3, 9.9

Sep 21
No new homework

Sep 24
HW4: 9.7,9.8 (due 9/26)
Exam 1 Review (.pdf)

Sep 26 Quantifiers

Sep 28  EXAM 1

Oct 1 Section 11 (Union, intersection,
complement, cartesian product)
HW5 due 10/5 (handout)

 Oct 3 Section 11 (cartesian product)

 Oct 5 Relations

Oct 8 Reflexive, irreflexive, symmetric,
antisymmetric, transitive relations. (13)
HW: 13.2,7 due 10/10
13.9,10 due 10/15

Oct 10 Congruence mod n (14)
14.4 due 10/12
Practice: 13.1,3,6,8,13

 Oct 12 Equivalence relations,
equivalence classes. (14)
Practice:14.1,2,3,5,11

Oct 15 Counting equivalence classes;
number of subsets.

 Oct 17 Combinatorial proof.

 No class

Oct 22 Binomial coefficients
16# 10 due 10/24;  16#1,3,7

Oct 24 Review

 Oct 26  EXAM 2
Bonus question

Oct 29 Proof by contrapositive and
contradiction;
HWK due 11/2 (handout)

Oct 31 Proofs by contradiction

 Nov 2 Induction (intro)

Nov 5 Induction
HWK due 11/9 (handout)

Nov 7 Induction

 Nov 9 Induction

Nov 12 Recursively defined sequences Answer key

Nov 14 Functions
Hwk: 23# 3,6,9 due before break
practice 1,4,5

 Nov 16 Functions: onto,
counting functions

 Nov 19 Bijections, Cantor's theorem

No class

 No class

 Nov 26

Nov 28

 Nov 30  EXAM 3

 Dec 3

Dec 5

Dec 7

Dec 12 FINAL EXAM 8:00-10:00