Week 1: introduction, beginning propositional logic, direct proof.
Definitions you should know: even, odd, statement, set, real numbers, integers, natural numbers, and, or, not, conditional statement
Useful reading: Hammack sections 2.1-2.3 and 4.3, Ernst Chapter 1, sections 2.1-2.3
Week 2: divisibility and the division algorithm, more direct proof, using cases. Homework 1 due Friday.
Definitions you should know: divisible by/multiple of, upper and lower bound
Useful reading: Hammack: 2.3, 4.1-4.4
Week 3: De Morgan's laws, proof by contrapositive, modular arithmetic, biconditional statements. Homework 2 due Friday.
Definitions you should know: converse, biconditional statement, logically equivalent, contrapositive, congruent modulo n, prime, composite
Useful reading: Ernst 2.2 and 2.3, Hammack 2.4, 2.5, 2.6, 5.1
Week 4: quantifiers, negating statements with quantifiers, proof by contradiction. Homework 3 due Friday.
Definitions you should know: greatest common divisor, rational/irrational
Useful reading: Hammack 2.7, 2.10, chapter 6, Ernst 2.4 and 2.5, Chapter 6
Week 5: Proof by induction. Homework 4 due Friday.
Definitions you should know: base case and inductive hypothesis
Useful reading: Hammack 10.1, Ernst 4.1 and 4.2
Week 6:
Week 7: First exam, Friday October 10