These notes are not intended to be a substitute for taking notes in class.

Date	Contents
9/12/2005	Conditionals and Arguments
9/14/2005	Contradiction Rule and Logic Gates
9/16/2005	Digital Logic
9/19/2005	Circuits for Addition
9/21/2005	Predicates
9/23/2005	Quantifiers
9/28/2005	Multiple Quantifiers
9/30/2005	Direct Proof: Even, Odd, and Prime
10/3/2005	Direct Proof: Rational
10/12/2005	Congruences
10/19/2005	Proofs by Division into Cases and Contradiction
10/21/2005	More Proofs by Contradiction
10/24/2005	Proofs of Irrationality; Euclidean Algorithm
10/26/2005	Sequences, Summations, Induction
10/31/2005	Induction
11/2/2005	Strong Induction
11/4/2005	Induction Exercises
11/7/2005	Set Definitions
11/14/2005	Proofs with Sets
11/16/2005	More Proofs with Sets
11/18/2005	Multiplication Rule
11/21/2005	Permutations, Addition and Difference Rules
11/28/2005	Combinations
11/30/2005	More Combinations
12/2/2005	Multisets
12/05/2005	One-to-One Functions
12/07/2005	Onto Functions
12/09/2005	Inverse Functions, Pigeonholes, Composition of Functions, Cardinality
12/12/2005	Functions Homework