<

Monday, 1/6	Intro to the course. Propositional logic.
Wednesday, 1/8	More propositional logic. Reading: Skim Chapter 1, so that you can go back to it later when you get stuck on a problem. Read Sections 2.1 and Section 2.2 up to the part on the real numbers.
Friday, 1/10	Sets. Reading: Re-read Section 2.2 Homework 1 due: Section 2.1 (p. 29), #1ae, 6a, 11, 12, 14, 16, 19.
Monday, 1/13	Predicates and Quantifiers. Reading: Section 2.3.
Wednesday, 1/15	More on predicates and quantifiers. Direct proofs. Homework 2 due: Section 2.2 (p.45), #4abe, 5, 9, 12a, 13, 14, 16. Section 2.3 (p. 51), #2, 6, 7, 11, 13, 14, 16, 18, 21.
Friday, 1/17	Indirect proofs (contrapositive and contradiction). Read: Section 3.1, as much of Section 3.2 as you can.
Monday, 1/20	Mathematical Induction. Read: Section 3.3, up to the part on strong induction. Homework 3 due: Section 2.3 (p. 51), #27bcg. Section 3.1 (p. 60), #1, 5, 10, 12, 19a. And the problems from the handout from class on 1/17, which can also be found here.
Wednesday, 1/22	More on induction, including strong induction. Read: The part of section 3.3 on strong induction.
Friday, 1/24	Case analysis and proof strategy. Sets revisited. Read through Sections 3.5 and 3.6. Some nice proofs are discussed. Homework 4 due: Section 3.1 (p. 60), #7, 13. Section 3.2 (p. 66), #13. Section 3.3 (p. 75), #2, 5, 12, 14, 16, 18b, 20 and the problems on this sheet.
Monday, 1/27	Sets and power sets. Read: Section 4.1.
Wednesday, 1/29	Cartesian products. Relations. (Section 4.2) Read: take another look at pages 109-114. Homework 5 due: Section 3.4 (pp. 82-83) #4, 8, 10. Section 4.1 (pp. 114-116), #3ef, 4ce, 7ab, 8a, 9, 11abc, 12, 19, 22bcd.
Friday, 1/31	More on relations. (Section 4.2) Read: pages 117-130. Homework 6 due: Section 4.2 (pp. 130-132), #4ab, 6ab, 8c
Monday, 2/3	Inverse relations and composition of relations (4.2). Functions (4.3)
Wednesday, 2/5	In-class exam
Friday, 2/7	More on Functions (4.3)
Monday, 2/10	No class -- mid-term break.
Wednesday, 2/12	More on Functions (4.3) Read: pages 132-147.
Friday, 2/14	Still more on functions (4.3) Homework 7 due: Section 4.2 (pp. 130-132), #15bcg, 19abc, 21, 24a, 29. Section 4.3 (pp. 150-153), #1bcef, 2abcde (for #2, you don't have to give formal proofs, but give counterexamples or brief explanations), 4bd, 5, 12.
Monday, 2/17	Equivalence Relations (4.4) Read: Section 4.4.
Wednesday, 2/19	More on Equivalence Relations (4.4). Take-home exam 1 handed out. Homework 8 (group homework) due: Section 4.3 (pp. 150-153), #13, 14 (your salvages, if any, should involve replacing equals with some other symbol), 16 ("the second statement in Theorem 2" means "the converse in Theorem 2"), 17a(iv), 19, 20, 24, 25a (hint: if C is an element of P(A), what should F(C) be?) , 27 (for part c, remember that "one-to-one correspondence" means bijection), 31.
Friday, 2/22	Wrap up equivalence relations (4.4). Intro to equinumerous sets (5.1)
Monday, 2/24	More on equinumerous sets (5.1). Finite sets and the pigeonhole principle (5.2). Take-home exam 1 due
Wednesday, 2/26	Finite sets and the pigeonhole principle (5.2). Read: Section 5.2
Friday, 2/28	More on finite sets and the pigeonholde principle (5.2). HW 9 due: Section 4.4 (pp. 166-168), #6 (give justifications), 11, 13, 16. Section 5.1 (pp. 200-201), #2ad, 3ab, 7, 15 (Hint: one method for part a) is to use Theorem 2), and the problems on this sheet.
Monday, 3/2	Last words on the pigeonhole principle (5.2) Denumerable sets (5.3) Read: Section 5.3.
Wednesday, 3/4	More on denumerable sets (5.3) Homework 10 due: Section 5.2 (pp. 207-208), #2 (you can use Theorem 1 on p. 201), 6abc (you do not need to prove your conjectures), 11, 13, 14, 15. Section 5.3 (pp. 215-216), #2, 16.
Friday, 3/6	Uncountable Sets (5.4) Homework 11 due: Section 5.3 (pp. 215-216), #4c, 8, 15. Take-home 2 handed out
Monday, 3/9	Transcendental numbers. R is equinumerous to R^2. (Section 5.4)
Wednesday, 3/11	The Cantor-Bernstein Theorem and hierarchies of infinity (Section 5.5) Take-home 2 due.