DATE | WEEK | LEC | TOPIC(S) | |
8/31 | Course Intro. Logical statements. Truth tables. De Morgan’s Law. | ch. 4.1 & 4.5 | ||
9/02 | Contrapositive. Tautology. Contradiction. Logical equivalences Goodaire & Parmenter |
ch. 4.5 & 4.7 | ||
9/04 | DNF, CNF and SAT. Quantifiers. | ch. 4.6, 4.3 | ||
9/07 | No class – Labor Day | |||
9/09 | Quantifiers. | ch. 4.3 & 4.4 | ||
9/11 | Operations on sets. De Morgan’s Law of Sets. Venn diagrams. | ch. 3.3 – 3.7 | ||
9/14 | Proving set identities. | ch.3.9 | ||
9/16 | Proof techniques: direct proof, contradiction, contrapositive. | ch. 4.9 | ||
9/18 | The Principle of Induction. | ch. 5.1 & 5.2 | ||
9/21 | The Principle of Induction. | ch. 5.1 & 5.2 | ||
9/23 | The Principle of Strong Induction. | ch. 5.3 – 5.5 | ||
9/25 | The Principle of Strong Induction. | ch. 5.4 & 5.5 | ||
9/28 | Midterm I | |||
9/30 | Surjective, injective and bijective functions. | ch. 7.2 – 7.4 | ||
10/02 | Composition of functions. Inverse functions. | ch. 7.5 | ||
10/05 | Infinite sets. | ch. 7.6 | ||
10/07 | Countable sets. Cardinality. | ch. 7.6 | ||
10/09 | Uncountable sets. | ch. 7.6 | ||
10/12 | A partition of a set. The Rule of Sum. The Rule of Product. | ch. 8.2 | ||
10/14 | Permutations and combinations. | ch. 8.3 | ||
10/16 | Repetitions. | ch. 8.5 | ||
10/19 | The Binomial Theorem and Pascal’s Triangle. | ch. 8.4 | ||
10/21 | Combinatorial Proofs. | ch. 8.4 | ||
10/23 | No classes – mid-semester break | |||
10/26 | Combinatorial Proofs. | ch. 8.4 | ||
10/28 | Midterm II | |||
10/30 | The Pigeonhole Principle. | ch. 8.6 | ||
11/02 | The Principle of Inclusion-Exclusion. | ch. 8.7 | ||
11/04 | The Principle of Inclusion-Exclusion. | ch. 8.7 | ||
11/06 | Greatest common divisor. The Euclidean Algorithm. | ch. – | ||
11/09 | Diophantine equations. | ch. – | ||
11/11 | Relations. Equivalence relations. | ch. 6.4 | ||
11/13 | Equivalence classes. | ch. 6.5 | ||
11/16 | Review for the exam | |||
11/18 | Midterm III | |||
11/20 | Congruence classes. Modular Arithmetic. | ch. 6.5 | ||
11/23 | Using congruence classes to solve divisibility problems. | ch. – | ||
11/25 | No classes – Thanksgiving break | |||
11/27 | No classes – Thanksgiving break | |||
11/30 | Fermat’s Little Theorem. | ch. – | ||
12/02 | Fast Exponentiation | ch. – | ||
12/04 | The Chinese Remainder Theorem. | ch. – | ||
12/07 | RSA | ch. – | ||
12/09 | Supremum and infimum of a set. Density of the rational numbers. | ch. – | ||
12/11 | The real numbers. | ch. – | ||
12/15 | Final Exam, 8:30-11:30am |