Assignments

The course has three types of assignments: quick reading assessments, long-form homework assignments, and self-directed learning assignments.

Reading Assessments

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

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 any assignments.

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.

Self-Directed Learning

After we finish the first third of the course, two self-directed learning assignments will be released: one due on March 21st. and one due on April 7th. These will contain (sub)-chapters of the book to read, and an assignment to complete over them. The assignments are simpler than homeworks, but more complex than reading assessments. Like reading assessments, they must be completed individually and receive no extra credit for typesetting. There is a large gap between when the SDL assignments are released and due: please complete them when you have free time in your schedule. Completing them directly before their due date may be quite stressful.

Week 1 - Puzzles Homework 1 due Jan 17th - (source) (solution)
Come to office hours and ask a question, due Fri, Jan 17th
Week 2 - Logic Reading 2 for Jan 22nd: Section 1.2 - Specifications (p. 18-19)
- Circuits (p. 22-23). (Assessment)
Homework 2 for Jan 24th - (source) (solution)
Week 3 - Equivalences No Reading for Jan 27nd
Homework 3 due Jan 31th - (source) (solution)
Week 4 - Predicates Reading 4 for Feb 3rd: Section 1.4 - The Uniqueness Quantifier, Quantifiers with Restricted Domain (p. 46, 48)
- Translating from English into Logical Expressions (p. 51-53) (Assessment)
Homework 4 due Feb 7th - (source) (solution)
Week 5 - Derivations Reading 5 for Feb 10th: Section 1.6 - Example 6 (p. 77), Resolution (p. 78), and Fallacies (p. 79)
- Reference last entry in Table 1 (p. 76) (Assessment)
Homework 5 due Feb 14st - (source) (solution)
Week 6 - Proofs Reading 6 for Feb 17th: Section 1.7 - Proof by Contraposition, Vacuous and Trivial Proofs,
- A Little Proof Strategy (p. 82-85 / 87-90) (Assessment)
Homework 6 due Feb 21st - (source) (solution)
SDL One - Combinatorics Read Chapters 6.1 and 6.2 (Combinatorics) (Assignment) due March 21st March 31st
Week 7 - Sets Reading 7 for Feb 24th: Section 2.1 - The Empty Set
- Power Sets, Cartesian Products (p. 124, 128-129). (Assessment)
Homework 7 due Feb 28th - (source) (solution)
Week 8 - Functions Reading 8 for March 3rd: Section 2.3 - Inverse and Compositions of Functions (p. 153-156)
- Definition 12 (p. 157) (Assessment)
Homework 8 due March 7th - (source) (solution)
SDL Two - Relations Chapters 9.1 and 9.2 (Assignment) due April 7th
Week 9 - Sequences Midterm on Tuesday March 18th, 6-8pm, covering logic through functions
SDL Assignment One due March 21
Homework 9 due March 21th - (source) (solution)
Week 10 - Induction Reading 10 for March 24st: Section 5.1 - Examples 2 and 3 (p. 338-339)
- Example 10 (p 344) (Assessment)
Homework 10 due March 28th - (source) (solution)
Week 11 - Strong Induction SDL Assignment One due March 31st
Reading 11 for March 31st: - Section 5.2 Review Example 4 (p. 337 / 358)
- Using Strong Induction in Computation Geometry (p. 338-340 / 359-361)
- (Assessment)
Homework 11 due April 4th - (source) (solution)
SDL Assignment Two due April 7th
Week 12 - Graphs Reading 12 for April 7th: Section 10.2 - Definitions 1, 2, 3, 4, and 5 (p. 685-687)
- Bipartite Graphs (p. 689-690) (Assessment)
Homework 12 due April 11th, Problem 5 due April 14th - (source) (solution)
Week 13 - Graphs No homework
Week 14 - Graphs Reading for April 21st: TBD
Homework 13 due April 25th - (source) (solution)
Week 15 - Paradoxes Homework 14 (graphs proofs) due May 2nd - (source) (solution)
Exam Week Final Exam on Saturday May 10th 3:30-6:30PM (Common Exam IV)
Covering proofs through graphs

Report abuse