This week, we will cover Chapter 0 and Section 1.1.
This week, we will cover Sections 1.2–1.5.
HW1 is due on 2025-1-16: 5.1.5.1, 5.1.5.2, 5.1.5.3, 5.2.4.1, 5.2.4.2, 5.2.4.3.
NO CLASS on 2025-1-21 because Derek had a cold.
This week, we will cover Sections 2.6.
This week, we will cover Sections 3.1–3.3.
HW2 is due on 2025-1-28: 1.2.6.1, 1.2.6.6, 1.3.8.6(a)–(c), 1.4.8.14 (hint: prove first that for any integer n: if n > 1, then the nth root of 10 is irrational), 1.4.8.19, 1.5.8.10.
HW3 is due on 2025-1-30: 2.6.7.1, 2.6.7.4, 2.6.7.6.
This week, we will cover Sections 3.4–3.6.
HW4 is due on 2025-2-6: 3.1.7.3, 3.1.7.7, 3.2.6.4, 3.2.6.8, 3.3.6.1, 3.3.6.7.
The midterm was not on 2025-2-13 because it was snowing.
Here is an old midterm for practice.
(We haven't covered induction, so don't worry about Exercise 4.)
Here are answers to the old midterm.
HW5 (do not turn in): 3.4.6.7, 3.4.6.10, 3.5.5.4, 3.5.5.7, 3.5.5.7, 3.6.6.6, 3.6.6.7.
Here are solutions to HW1–HW5.
This week, we will cover Sections 4.1 and 4.2.
The midterm is on 2025-2-18.
Here are solutions to the midterm.
This week, we will cover Sections 4.3–4.4.
HW6 is due on 2025-2-27.
Here are solutions to HW6.
This week, we will cover Sections 4.5–4.6.
HW7 is due on 2025-3-6.
Here are solutions to HW7.
This week, we will learn some cardinality and do some review.
Here is an old final for practice.
(Don't worry about Exercises 3 and 6, and google “power set” for Exercise 4(c).)
Here are solutions to the old final.
HW8 is due on 2025-3-13.
Here are solutions to HW8.
The final exam is on Tuesday 2025-3-18, at 10:15am–12:05pm, in our regular classroom.