The course has two types of assignments: quick reading assessments and long-form homework assignments.
Readings are given Friday, and have a corresponding short assessment that is due on class Monday. Assessments must be completed and submitted individually. Assessments should take roughly a half hour to complete, are graded on a ✓-, ✓, ✓+ scale, and are worth 8% of the final grade. Assessments receive no extra credit for being typeset, and may be handwritten. Please put your name on the back of each assessment in large writing. Page numbers for reading are given in with 7th edition first, and 8th edition after the slash.
Homeworks are due every Friday, and can take significant time to complete. Homework assignments are graded not just on correctness, but on the clarity of the mathematical writing. Understanding is useless if you cannot communicate that understanding to others. Some suggestions for good mathematical writing can be found in the resources tab. Homeworks that are typeset will receive up to 4% extra credit. I suggest using LaTeX through Overleaf. For hints see the Guide to Typesetting.
Homeworks may be completed in pairs or individually. Collaboration between homework groups is explicitly allowed, but the individual or pair submitting the assignment must write their answers themselves. Please note any collaborations on all submissions.
Each homework problem must be printed on a separate piece of paper. Be sure names and course meeting time (10:30, 11:30, or 1:30) are on the front of every page. If a problem spans multiple pages, they must stapled together.
Week 15 Homework 15 due April 28st- (source) (solution)
No reading for April 24th. One problem from Homework 14 may be submitted instead.
Week 14 Homework 14 due April 21st- (source) (solution)
No reading for April 17th. One problem from Homework 13 may be submitted instead.
Week 13 Homework 13 due April 14th - (source) (solution)
Reading for Apr 10th: Section 10.2 - Definitions 1, 2, 3, 4, and 5 (p. 651, 652, 654 / 685-687)
- Bipartite Graphs (p. 656-657 / 689-690) (Assessment)
Week 12 Homework 12 due April 10th - (source) (solution)
Reading for April 3rd: Section 5.2 - Review Example 4 (p. 337 / 358),
- Using Strong Induction in Computation Geometry (p. 338-340 / 359-361) (Assessment)
Week 11 Homework 11 due March 24th (P1-P2) and March 31st (P3-P6) - (source) (solution)
Reading for March 27th: Section 5.1, Example 1 (p. 316 / 337), Example 3 (p. 318/339), Example 10 (p 323/344) (Assessment)
Week 10 Spring Break Reading - Chapters 6.1 and 6.2 (Combinatorics)
Reading Assessment/Homework 10 due Mar 20 - (solution)
Week 9 Homework 9 due Mar 10 - (source) (solution)
Week 8 Homework 8 due Mar 3 - (source) (solution)
Reading for Feb 27th: Section 2.3 - Inverse and Compositions of Functions (p. 145-147 / 153-156)
- Definition 12 (p. 149 / 157) (Assessment)
Week 7 Homework 7 due Feb 24 - (source) (solution)
Reading for Feb 20: Section 2.1 - Power Sets, Cartesian Products (p. 121-124 / 128-130). (Assessment)
Week 6 Homework 6 due Feb 17 - (source) (solution)
Reading for Feb 13: Section 1.7 - Proof by Contraposition, Vacuous and Trivial Proofs,
A Little Proof Strategy (p. 82-85 / 87-90) (Assessment)
Week 5 Homework 5 due Feb 10th - (source) (solution)
Reading for Feb 6th: Section 1.6 - Example 6 (p. 73 / 77)
- Resolution (p. 74-75 / 78), reference last entry in Table 1 (p. 72 / 76)
- Fallacies (p. 75 / 79) (Assessment)
Week 4 Homework 4 due Feb 3rd - (source) (solution)
Reading for Jan 30th: Section 1.4 - The Uniqueness Quantifier, Quantifiers with Restricted Domain (p 44 / 46, 48)
- Translating from English into Logical Expressions (p. 48-49 / 51-53) (Assessment)
Week 3 Homework 3 due Jan 27th - (source) (solution)
Reading for Jan 23rd: Section 1.3 - Example 4 (p. 27 / 28), Constructing New Equivalences,
and Propositional Satisfiability (p. 29-31 / 31-33) (Assessment)
Week 2 Homework 2 due Jan 20th - (source) (solution)
Reading for Jan 18th: Section 1.2 - Specifications (p. 17-18 / 18-19), Circuits (p. 20-22 / 22-23). (Assessment)
Week 1 Homework 1 due Jan 13th - (source) (solution)
Come to office hours and ask a question, due Tuesday, Jan 17th