| Weeks |
Dates |
Sections |
Lecture
Notes and Videos |
Homework
|
Due
Dates
|
1
|
Jan 20, 22
|
Section 2.1 |
Logical
Form and Logical Equivalence
|
2, 4, 7, 13,
17, 19, 24, 26, 29, 33, 35, 39, 42, 43, 45, 51, 54
|
Jan
29
|
2
|
Jan 25, 27, 29
|
Section 2.2 |
Conditional
Statements
|
6, 11, 15, 17,
18, 20(g), 30, 33, 35, 36, 39, 41, 43, 45,
46(c)-(f), 48, 50
|
Feb
5 |
3
|
Feb 1, 3, 5
|
Section 2.3 |
Valid
and Invalid Arguments
|
2, 9, 10, 23,
28-32, 40, 42, 44
|
Feb 12
|
| Section 3.1 |
Predicates
and Quantified Statements I
|
6, 7(d), 10,
12, 16(d)(f), 23(b), 24(b), 25(f), 26(a), 29,
33(c)(d)
|
4
|
Feb 8, 10, 12
|
Section 3.2
|
Predicates
and Quantified Statements II
|
2, 3(d), 5(b),
10, 14, 19, 23, 24(b), 25(b), 27, 42, 46
|
Feb 26
|
Section 3.3
|
Statements
with Multiple Quantifiers
|
3(c), 12(c),
19, 21(c), 24(b), 30, 41(c),(d)
|
| Section 3.4 |
Arguments
with Quantified Statements
|
4, 6, 11-13,
18, 19(c)(d)
|
5
|
Feb
15-23
|
No
Classes
|
|
6
|
Feb 24, 26
|
Section 4.1 |
Direct
Proof and Counterexample I: Introduction
|
5,
6, 10, 12, 13, 21, 32, 37, 41, 49, 50, 53, 58, 61
|
Mar 8
|
Section 4.2
|
Direct
Proof and Counterexample II: Rational Numbers,
PP
|
20, 23, 26,
28, 30, 32, 36, 38, 39
|
7
|
Mar 1, 3
|
Section 4.3
|
Direct
Proof and Counterexample III: Divisibility,
PP
|
13, 20, 21,
34, 39, 45
|
Mar 12
|
Section 4.4
|
Direct
Proof and Counterexample IV: Division into Cases,
PP
|
2, 4, 6, 19,
21, 30, 35, 40, 41
|
Mar 5
|
Sections
2.1-2.3, 3.1-3.4
|
MIDTERM 1 |
|
|
8
|
Mar 8, 10, 12 |
Section 4.6 |
Indirect
Argument: Contradiction and Contraposition
|
4,
12, 20, 22, 24, 28
|
Mar 26
|
| Section 4.7 |
Indirect
Argument: Two Classical Theorems, PP
|
4, 6, 8,
10-12, 15, 17, 33
|
Section 5.1
|
Sequences,
PP
|
2, 6, 13, 15,
16, 25, 26, 28, 30, 36, 41, 48, 50, 52, 54, 58,
60, 61, 64, 70, 72, 76, 77(b), 79
|
9
|
Mar
15-20 |
Spring
Break |
10
|
Mar 22, 24, 26
|
Section 5.2 |
Mathematical
Induction I, PP
|
7, 9, 11, 12,
14, 16, 17, 21, 23, 26, 27, 29
|
Apr 2
|
Section 5.3
|
Mathematical
Induction II, PP
|
5, 9, 10, 12,
17, 18, 20, 21, 22, 25, 27, 28, 29
|
| Section 5.4 |
Strong
Mathematical Induction and the Well-Ordering
Principle for the Integers, PP
|
2, 6-9, 19
|
11
|
Mar 29, 31, Apr 2
|
Section 6.1 |
|
1(a)(d)(f),
6, 12, 13(a)(c)(e)-(i), 14(b), 17(b)-(f), 20, 23,
26, 30, 32(b), 34(b)(c), 35(c)(d)
|
Apr 9
|
| Section 6.2 |
|
4, 15, 17, 19,
22, 23(b)(c)(d), 26, 28, 32, 35, 39
|
| Section 6.3 |
|
2,
4, 7, 8, 13, 16, 20, 21, 24, 33-35, 37, 38, 42, 43
|
12
|
Apr 5, 7, 9
|
Section 6.4
|
|
5, 6(b), 9,
11(vi)
|
Apr 19
|
| Section 7.1 |
Functions
Defined on General Sets
|
2, 7(b)(d),
10(f), 14, 18(b)(d)-(g), 24, 25(b), 30(b), 34, 36,
39, 42, 44, 47
|
| Section 7.2 |
One-to-One
and Onto, Inverse Functions |
8, 9(b)-(d),
12, 13(b), 18, 22, 25, 29, 30, 37, 39, 43, 48, 49,
55
|
13
|
Apr 12, 14
|
Section 7.3 |
Composition
of Functions
|
2, 3, 7, 10,
11, 17, 22, 24
|
Apr 23
|
| Section 7.4 |
Cardinality
with Applications to Computability
|
4, 9, 12, 20,
21
|
Apr
16
|
Sections
4.1-4.4, 4.6, 4.7, 5.1-5.4, 6.1-6.3
|
MIDTERM
2 |
|
|
14
|
Apr 19, 21, 23
|
Section 9.1 |
|
8, 10,
11b(ii)(iii), 14(b, c), 17, 19, 22
|
Apr 30
|
| Section 9.2 |
|
2, 5, 7, 10,
15, 17, 30, 33, 38(b), 39(b,d), 40, 42, 43
|
15
|
Apr 26, 28, 30
|
Section 9.3 |
|
2, 5,
8(b,c,d), 12, 17, 24, 36, 38
|
May 7
|
| Section 9.4 |
|
2,
4, 6, 8, 11, 13, 15, 16, 18, 19, 27, 30, 34
|
16
|
May 3, 5, 7
|
Section 9.5 |
|
4, 7, 10, 12,
16, 20, 22, 24(a,c,d)
|
Opt
|
| Section 9.6 |
|
1-7, 10-14
|
| Section 9.7 |
|
1-14, 19-34,
36-40, 43-54
|
17
|
May 13 (Thu)
2:00pm-5:00pm |
Cumulative |
FINAL EXAM |
|
|
|