date 
topic 
description (chapter) 
assignment 
May 25 
LOGIC 
propositional calculus (1.1, 1.2, 1.3)
circuits (1.4) 
homework #1 
Jun 01 
LOGIC 
predicate calculus (2.1, 2.2)
arguments (2.3)

homework #2 
Jun 08 
PROOF 
direct and indirect (3.1, 3.2, 3.3, 3.5)
proof by contradiction (3.6, 3.7)
 homework #3 
Jun 15 
PROOF 
halting problem (5.4)
sequences and summation (4.1)
mathematical induction (4.2, 4.3)

practice problems 
Jun 22 
PROOF 
MIDTERM #1
more induction (4.3)

homework #4 
Jun 29 
COUNTING 
probability (6.1)
combinatorics (6.26.6)

homework #5 
Jul 06 
FUNCTIONS 
set theory (5.1, 5.2, 5.3)
onetoone, onto (7.3)

homework #6 
Jul 13 
FUNCTIONS 
pigeonhole principle (7.4)
cardinality (7.6)

practice problems 
Jul 20 
RELATIONS 
MIDTERM #2
equivalence classes (10.2, 10.3)
partial orders (10.5)

homework #7 
Jul 27 
GRAPHS 
graphs (11.1, 11.3)
trees (11.5)
minimum spanning trees (11.6)

homework #8 
Aug 03 
ANALYSIS 
bigO notation (9.2)
analysis of algorithms (9.3)

practice problems 
Aug 10 
WRAPUP 
FINAL EXAM

