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

Date	Contents
9/5/2007	Statements
9/7/2007	Logical Equivalences
9/10/2007	Conditional and Arguments
9/12/2007	Making Arguments, Contradiction Rule
9/14/2007	Contradiction Rule
9/17/2007	Digital Logic Circuits
9/19/2007	Circuits for Addition
9/21/2007	Predicates
9/24/2007	Quantifiers
9/26/2007	Multiple Quantifiers
9/28/2007	Direct Proof: Even and Odd
10/1/2007	Direct Proof: Even and Odd (cont.)
10/3/2007	Exam #1 Review
10/8/2007	Direct Proof: Prime and Composite
10/10/2007	Direct Proof: Rational and Divisibilty
10/15/2007	Congruences
10/17/2007	RSA Encryption
10/19/2007	Quotient/Remainder Theorem
10/22/2007	Proof by Cases
10/24/2007	Proof by Contradiction and Contraposition
10/26/2007	Proofs of Irrationality
10/29/2007	Euclidean Algorithm
10/31/2007	Sequences and Summations
11/2/2007	Induction
11/5/2007	Strong Induction
11/7/2007	Strong Induction (cont.)
11/12/2007	Program Verification
11/14/2007	Sets
11/16/2007	Proofs with Sets
11/19/2007	Permutations
11/26/2007	Combinations
11/28/2007	Addition Rule, Difference Rule, Inclusion/Exclusion
11/30/2007	Functions
12/3/2007	Pigeonhole Principle
12/5/2007	Cardinality
12/7/2007	Uncountable Sets
12/10/2007	Growth of Functions