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 23rd. and one due on April 30th. 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 16th - (source) (solution)
Week 2 - Logic Reading 2 for Jan 22nd: Section 1.2 - Specifications (p. 18-19)
- Circuits (p. 22-23). (Assessment)
Homework 2 for Jan 23th - (source) (solution)
Week 3 - Equivalences Reading 3 for Jan 26th: Section 1.3 - Read Example 4 (p. 28), skim Constructing New Equivalences and Propositional Satisfiability (p. 31-33) (Assessment)
Homework 3 due Jan 30th - (source) (solution)
Week 4 - Predicates Reading 4 for Feb 2rd: 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 6th - (source) (solution)
Week 5 - Derivations Reading 5 for Feb 9th: 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 13th - (source) (solution)
Week 6 - Proofs Reading 6 for Feb 16th: Section 1.7 - Proof by Contraposition, Vacuous and Trivial Proofs,
- A Little Proof Strategy (p. 82-85 / 87-90) (Assessment)
Homework 6 due Feb 20th - (source) (solution)
SDL One - Combinatorics Read Chapters 6.1 and 6.2 (Assignment) due March 23rd
SDL Two - Relations Chapters 9.1 and 9.2 (Assignment) due March 30th
Week 7 - Sets Reading 7 for Feb 23rd: Section 2.1 - The Empty Set
- Power Sets, Cartesian Products (p. 124, 128-129). (Assessment)
Homework 7 due Feb 27th - (source) (solution)
Week 8 - Functions Reading 8 for March 2nd: Section 2.3 - Inverse and Compositions of Functions (p. 153-156)
- Definition 12 (p. 157) (Assessment)
Homework 8 due March 6th - (source) (solution)
Week 9 - Sequences Midterm on Tuesday March 18th, 6-8pm, covering logic through functions
Homework 9 due March 20th - (source) (solution)
Week 10 - Induction Reading 10 for March 23rd: Section 5.1 - Examples 2 and 3 (p. 338-339)
- Example 10 (p 344) (Assessment)
SDL Assignment One due March 23rd
Homework 10 due March 27th - (source) (solution)
Week 11 - Strong Induction Reading 11 for March 30th: - Section 5.2 Review Example 4 (p. 337 / 358)
- Using Strong Induction in Computation Geometry (p. 338-340 / 359-361)
- (Assessment)
SDL Assignment Two due March 30th
Homework 11 due April 6th - (source) (solution)
Week 12 - Graphs Reading 12 for April 8th Section 10.2 - Definitions 1, 2, 3, 4, and 5 (p. 685-687)
- Bipartite Graphs (p. 689-690) (Assessment)
Homework 12 due April 10th - (source) (solution)
Week 13 - Graphs Reading for April 13th: TBD
Homework 13 due April 17th - (source) (solution)
Week 14 - Graphs Reading for April 20st: TBD
Homework 14 due April 24th - (source) (solution)
Week 15 - Paradoxes Homework 15 (graphs proofs) due May 1st - (source) (solution)
Exam Week Final Exam on Friday May 8th 8:30am-11:30am
Covering proofs through graphs

Report abuse