Schedule (subject to adjustments)

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.