For the most part much of the material here is taken directly from the the outlines I used for previous incarnations of this course. I will, however, reorder the tutorials and/or add new outlines if neccessary.

Tutorial outlines

The following is a list of tutorial outlines that I'll try to put online every week—I might fall behind, but if I do just remind me and I'll post them.

1. Propositions, logical operators, and gates.
2. Conditionals, rules of logic, and inference.
3. Predicates and quantifiers.
4. Direct proofs.
5. No outline this week.
6. Number representation.
7. Set theory.
8. Functions.
9. DFAs: (no outline this week, but refer to Sipser for more info).
10. Induction.