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 Thursday.
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