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.
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. You are not allowed to use large language models (generative AIs) on homeworks or reading assessments.
Each homework section must be printed on a separate piece of paper. Be sure names and course meeting time (10:30, 11:30) are on the front of every page. If a section spans multiple pages, they must stapled together.
Week 15 Homework 15 due April 28th- (source) (solution)
No reading for April 22nd. One problem from Homework 14 may be submitted instead.
Week 14 Homework 14 due April 19th- (source) (solution)
No reading for April 15th. One problem from Homework 13 may be submitted instead.
Week 13 Homework 13 due April 12th - (source) (solution)
Reading for Apr 10th: Section 10.2 - Definitions 1, 2, 3, 4, and 5 (p. 685-687)
- Bipartite Graphs (p. 689-690) (Assessment)
Week 12 Homework 12 due April 5th - (source) (solution)
Week 11 Homework 11 due April 1st - (source) (solution)
Reading for March 27th: Section 5.1, Example 2 (p. 338), Example 3 (p.339), Example 10 (p 344) (Assessment)
Week 10 Spring Break Reading - Chapters 6.1 and 6.2 (Combinatorics)
Reading Assessment/Homework 10 due Mar 18 - (solution)
Week 9 Homework 9 due Mar 8 - (source) (solution)
Reading for March 4: Section 2.4 - Summations through Example 20 (p. 172-173) (Assessment)
Week 8 Homework 8 due Mar 1 - (source) (solution)
Reading for Feb 26: Section 2.3 - Inverse and Compositions of Functions (p. 153-156)
- Definition 12 (p. 157) (Assessment)
Week 7 Homework 7 due Feb 23 - (source) (solution)
Reading for Feb 19: Section 2.1 - The Empty Set, Power Sets, Cartesian Products (p. 124, 128-129). (Assessment)
Week 6 Homework 6 due Feb 16 (sections A and B) and 19th (section C) - (source) (solution)
Reading for Feb 12th: Study for Exam 1.
Week 5 Homework 5 due Feb 9th - (source) (solution)
Reading for Feb 5th: Section 1.6 - Example 6 (p. 77), Resolution (p. 78), and Fallacies (p. 79)
- Reference last entry in Table 1 (p. 76) (Assessment)
Week 4 Homework 4 due Feb 2nd - (source) (solution)
Reading for Jan 29th: Section 1.4 - The Uniqueness Quantifier, Quantifiers with Restricted Domain (p. 46, 48)
- Translating from English into Logical Expressions (p. 51-53) (Assessment)
Week 3 Homework 3 due Jan 26th - (source) (solution)
Reading for Jan 22rd: Section 1.3 - Example 4 (p. 28), Constructing New Equivalences,
and Propositional Satisfiability (p. 31-33) (Assessment)
Week 2 Homework 2 due Jan 19th - (source) (solution)
Reading for Jan 17th: Section 1.2 - Specifications (p. 18-19), Circuits (p. 22-23). (Assessment)
Week 1 Homework 1 due Jan 12th - (source) (solution)
Come to office hours and ask a question, due Weds, Jan 17th