| date |
lecture / exam
|
readings
|
Tu, Jan 8
|
propositional logic
|
chap 1.1-1.3
|
Th, Jan 10
|
propositional logic, digital logic
|
chap 1.1-1.4 |
Tu, Jan 15
|
Quiz 1
predicate logic |
chap 2
|
| Th, Jan 17 |
predicate logic |
chap 2
|
Tu, Jan 22
|
Quiz 2
proof techniques, number theory |
chap 3
|
Th, Jan 24
|
proof techniques, number
theory |
chap 3
|
Tu, Jan 29
|
Quiz 3
proof techniques, number
theory |
chap 3
|
Th, Jan 31
|
proof techniques, number
theory
|
chap 3
|
Tu, Feb 5
|
Quiz 4
induction, sequences |
chap 4 (except 4.5)
|
Th, Feb 7
|
induction
|
chap 4 (except 4.5) |
Tu, Feb 12
|
Midterm Exam
|
Everything so far.
|
Th, Feb 14
|
set theory
|
chap 5 (except boolean
algebras) |
Tu, Feb 19
|
Quiz 5
set theory |
chap 5 (except boolean
algebras) |
Th, Feb 21
|
set theory, relations |
chap 5, chap 10.1
|
Tu, Feb 26
|
Quiz 6
relations |
chap 10.1-10.3 |
| Th, Feb 28 |
relations, functions
|
chap 10.1-10.3, 10.4
beginning: congruence mod n is an equivalence relation.
|
Tu, Mar 4
|
Quiz 7
functions
|
chap 7.1
|
Th, Mar 6
|
functions, pigeonhole
principle
|
chap 7.2-7.3 |
Tu, Mar 11
|
Quiz 8
functions, cardinality |
chap 7.4-7.5
|
Th, Mar 13
|
countability, number
systems. Review
|
chap
7.5, chap 1.5 beginning: decimal/binary conversions. All of the
above. |
Tu, Mar 18
|
Final Exam
|
All of the above.
|