Kerry Ojakian's CSI 35 Lecture Notes

Topic 0 (Algorithms)

Topic 1 (Proofs)
Krantz Proof Article (at least read first 3 sections)
Inference Rules Handout

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) A Video on Cops/Robber game.

Topic 14 (Finite Automata) Online simulator

Topic 15 (Intro to Trees)

Topic 16 (Tree Applications) Twine (for building a decision tree) Animal Guessing Example

Topic 17 (Tree Traversal)

Topic 18 (Spanning Trees)