Kerry Ojakian's CSI 35 Lecture Notes
Topic 0 (Algorithms)
Topic 1 (Proofs)
Krantz Proof Article (at least read first 3 sections)
Topic 2 (Induction)
Topic 3 (Strong Induction and Well Ordering)
Topic 4 (Recursive Definitions)
Topic 5 (Recursive Proofs)
Topic 6 (Relations)
Topic 7 (Equivalence Relations)
Topic 8 (Partially Ordered Sets)
Topic 9 (Intro to Graph Theory)
Topic 10 (More Intro to Graph Theory)
Topic 11 (Eulerian and Hamiltonian Walks)
Topic 12 (Colorings and Matchings)
Topic 13 (Games on Graphs)
Topic 14 (Finite Automata)
Topic 15 (Intro to Trees)
Topic 16 (Tree Applications)
Topic 17 (Tree Traversal)
Topic 18 (Spanning Trees)