We will roughly cover the following sections of the textbook: Ch 1-20. However, we might deviate from the textbook at some points. Things may change throughout the semester, so keep checking back regularly.
Week | Date | Sections | Assignment |
1 | Feb. 1 Feb. 3 |
Class cancelled Ch 1. Statements and logical connectives and truth tables |
HW 1 (Due Feb 10) |
2 | Feb. 8
Feb. 10 |
Finish truth tables then Ch 2. Implications Ch 3. Proofs | HW 2 (Due Feb 17) |
3 | Feb. 15
Feb. 17 |
Ch 4. Proof by Contradiction Ch 5. Induction | HW 3 (Due Feb 24 4pm) |
4 | Feb. 22
Feb. 24 |
Ch 5. Recursive Definitions Ch 6. Sets | HW 4 (Due Mar 3 4pm) |
5 | Mar. 1
Mar. 3 |
Ch 6. Sets Ch 7. Quantifiers | HW 5 (Due Mar 10 4pm) |
6 | Mar. 8
Mar. 10 |
Ch 8. Functions Midterm 1 4:25PM-5:45PM (Practice Problems) |
HW 6 (Due Mar 17 4pm) |
7 | Mar. 15
Mar. 17 |
Ch 8. Images, preimages, surjectivity, injectivity Ch 9. Inverse functions | HW 7 (Due Mar 24 4pm) |
8 | Mar. 22
Mar. 24 |
Counting Pigeonhole principle | HW 8 (Due Mar 31 4pm) |
9 | Mar. 29
Mar. 31 |
Ch11/12 Properties of finite sets Ch 14. Definition of |A|>|B| for infinite sets Last slide of lecture video (the pictoral bijection) is corrected on uploaded slides. | HW 9 (Due Apr 7 4pm) |
10 | Apr. 5
Apr. 7 |
Ch. 14 Countability Ch. 14 Uncountability of P(N) and Cantor's theorem | |
11 | Apr. 12
Apr. 14 |
Irrationality of sqrt(2) Midterm 2 4:25PM-5:45PM (Practice Problems with solutions) | |
12 | Apr. 19
Apr. 21 |
Ch 15, 16 Ch 16,17 | HW 10 (Due Apr 28 4pm) |
13 | Apr. 26
Apr. 28 |
Ch 23 Ch 19 | HW 11 (Due May 5 4pm) |
14 | May 3
May 5 |
Ch 20 Ch 24 | |
May 18 | Final Exam
2:15pm-5pm |