Course Calendar
Discrete Structures, Math/CS 287 - Section 1
Kriloff, Fall, 2004

Last update:  Thursday, December 2, 2004

Tuesday Thursday
8/24
1.1 Logical Form and Equivalence

T:
10d, 17, 24, 32, 38, 46, 48
8/26 Def. Quiz 1.1
1.2 Conditional Statements
C:
4, 8, 14 and 1.1 C: 45, 51
T: 20c,e, 22c,e, 23c,e, 25, 27, 33, 44, 46
8/31 HW 1.1-1.2 due
1.3 Valid and Invalid Arguments
C: 13b, 20
T: 23, 29, 30, 32, 40, 42
9/2 Def. Quiz 1.2-1.3
2.1 Predicates and Quanitified Stmts. I
C: 6, 7c,d, 12, 16b,d, 17b
T: 15, 16f, 22b, 23b, 27b,c, 29, 30d, 31d
9/7 HW 1.3-2.1 due
2.2 Predicates and Quanitified Stmts. II
C: 2, 3b,d, 4b,d, 10, 32
T: 12, 14, 21, 37, 43, 45, 46
9/9 Def. Quiz 2.1-2.2
2.3 Stmts. with Multiple Quantifiers
C: 4c, 6, 8, 10b,d,f, 13
T: 17, 19, 25, 27, 40d,f, 42, 55, 56
9/14 HW 2.2-2.3 due
2.4 Arguments with Quantified Stmts.
C: 4, 6, 11, 20, 26,
T: 12, 18, 22, 24, 32, 34
(Check against solutions on bulletin
board outside PS316C)
9/16 Def. Quiz 2.3-2.4
3.1 Direct Proof and Counterexample I
C: 5, 13, 16, 18, 26
T: 28, 33, 45, 47, 52, 53
9/21
3.1 Direct Proof and Counterexample I
C: 5, 13, 16, 18, 26
T: 28, 33, 45, 47, 52, 53
9/23 15 minutes for questions
Exam 1 on 1.1-1.3, 2.1-2.4
9/28 Def. Quiz 3.1-3.2
3.2 II - Rational Numbers
C: 7, 8, 13, 15, 21
T: 22, 24, 27, 36
3.3 III - Divisibility
C: 3, 13, 16, 33b, 35a,c
T:  20, 27, 36, 39b,c, 42
9/30 HW 3.1-3.2 due
3.3 III - Divisibility
and
3.4 IV - Division into Cases
C: 6, 9, 14, 18, 24
T: 30, 43, 50
10/5 Def. Quiz 3.3-3.4
3.4 IV - Division into Cases
C: 18, 24
T: 30, 43, 50
and
3.6 Contradiction & Contraposition
C: 4, 20, 23
T: 6, 18, 26
10/7 HW 3.3-3.4 due
Read 3.7 Two Classical Theorems
T: 6, 12
4.1
Sequences
C: 2, 7, 21, 22, 47
T: 15, 28, 37, 41, 50, 56, 57
On Own: more from 1-60 as needed
10/12
4.1 Sequences
and

4.2 Mathematical Induction I
C: 2, 4, 5
T: 7, 14, 16, 22, 26
10/14 HW 3.6-4.2 due
4.2 Mathematical Induction I
and
4.4 Strong Mathematical Induction
C: 2, 15, 17
T: 5, 13, 16, 19
10/19 
4.4 Strong Mathematical Induction
5.1 Basic Definitions of Set Theory
C: 2, 3, 4b, 6b,d, 20b
T: 9f, 11a,b,g-j, 12a, 15, 20c, 25, 27b
On Own: more from 1-30 as needed

10/21 15 minutes for questions
Exam 2 on 3.1-3.7 except 3.5,
4.1, 4.2

10/26
5.1 Basic Definitions of Set Theory
C: 2, 3, 4b, 6b,d, 20b
T: 9f, 11a,b,g-j, 12a, 15, 20c, 25, 27b
On Own: more from 1-30 as needed
10/28 HW 4.4-5.1 due
Def. Quiz 5.1
5.2 Properties of Sets
C: 4, 7, 20,
T: 9, 21b,c, 31
On Own: more from 7-17 and 23-34 as needed 
11/2 
5.3 Disproofs and Boolean Algebras
C: 8, 19, 20, 24
T: 10, 12, 27
Read 5.4 Russel's Paradox and the Halting Problem
11/4 HW 5.2-5.3 due
10.1 Relations on Sets
C: 1, 5, 6, 10
T: 2, 11b,c, 12, 18, 24, 28b
On Own:
more from 7-17 and 23-34 as needed 

11/9  Def. Quiz 10.1
10.2 Reflexivity, Symmetry, and Transitivity
C: 2, 13, 16
T: 4, 20, 27, 32, 33
10.3 Equivalence Relations
C: 2c, 6, 13b,c, 14b
T: 2b, 12, 15b
11/11 HW 10.1-10.2 due
10.3 Equivalence Relations
C: 17b, 29
T: 2b, 12, 15b, 19, 28, 36
On Own: more from 1-28 as needed 
SOLUTIONS TO 10.3T PROBLEMS
ARE POSTED ON THE BOARD
11/16 Def. Quiz 10.2-10.3
7.1 Functions on General Sets
C: 2, 3, 5c, 18, 29, 31
T: 4b,d, 6b,c, 22, 32, 34
11/18 15 minutes for questions
Exam 3 on 5.1-5.3, 10.1-10.3
SOLUTIONS TO 10.3T PROBLEMS
ARE POSTED ON THE BOARD -
CHECK THESE YOURSELF
11/23 No Class 11/25 No Class
11/30
7.2 One-to-One and Onto, Inverses
C: 8, 14, 18, 25, 42
T: 9b,c,d, 13, 23, 30, 33
On Own: more from 1-47 as needed 
12/2  HW 7.1-7.2 due
7.3 The Pigeonhole Principle
C: 2, 4, 13, 15, 18, 21
On Own: more from 1-24 as needed
12/7 
7.4 Composition of Functions
C: 2-4, 11, 14, 17, 24
On Own: more from 1-26 as needed
7.5 Cardinality and Computability
C: 4, 5, 15
On Own: more from 1-9 as needed
12/9
7.5 Cardinality and Computability
C: 4, 5, 15
On Own: more from 1-9 as needed
Review for Final
BRING QUESTIONS!

12/14
FINAL, 7:30am-9:30am,
Cumulative 1.1-1.3, 2.1-2.4, 3.1-3.7 except 3.5, 4.1-4.2, 5.1-5.3,
10.1-10.3, 7.1-7.5


Suggestions for effective reading
Reading a mathematics text effectively requires effort and practice.  You should: