Assignments

The course has two types of assignments: quick reading assessments and long-form homeworks.

Reading Assessments

Readings are given Friday, and have a corresponding short assessment that is due on class Monday. Assessment 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 something is useless if you cannot communicate that understanding to others. Some basic elements of good mathematical writing are provided.

You may submitted homeworks individually or in pairs. Collaboration between groups is explicitly allowed, but must be documented in all submissions. Most homeworks will have multiple sections (A, B, and C). All sections are required, but must be submitted on separate pieces of paper. Be sure names and course meeting time (10:30 or 11:30) are on the front page of all sections. If a section spans multiple pages, they must stapled together.

Homeworks that are typeset will receive up to 4% extra credit. I suggest using LaTeX through Overleaf. For hints see the Guide to Typesetting.

Week 1 Homework 1 due Feb 4th - (source) (solution)
Come to office hours and ask a question, due ~~Feb 3rd~~ Monday Feb 7th
Week 2 Homework 2 due Feb 11th - (source) (solution)
Reading for Feb 7th: Section 1.2 - Specifications (p. 17-18), Circuits (p 20-22). (Assessment)
Week 3 Homework 3 due Feb 18th - (source) (solution)
Reading for Feb 14th: Section 1.3 - Example 4 (p. 27), Constructing New Equivalences,
and Propositional Satisfiability (p. 29-31) (Assessment)
Week 4 Homework 4 due Feb 25 - (source) (solution)
Reading for Feb 21: Section 1.4 - The Uniqueness Quantifier, Quantifiers with Restricted Domain (p 44)
- Translating from English into Logical Expressions (p. 48-49) (Assessment)
Week 5 Homework 5 due Mar 4 - (source) (solution)
Reading for Feb 28: Section 1.6 - Section 1.6 - Example 6 (p. 73)
- Resolution (p. 74-75), reference last entry in Table 1 (p. 72)
- Fallacies (p. 75) (Assessment)
Week 6 Spring Break Reading - Chapters 6.1 and 6.2 (Combinatorics)
Reading Assessment/Homework 6 due Mar 14 - (solution)
Week 7 Reading for Mar 16: Section 1.7 - Proof by Contraposition
- Vacuous and Trivial Proofs, A Little Proof Strategy (p. 82-85) (Assessment)
Homework 7 due Mar 21 - (source) (solution)
Week 8 Reading for Mar 23: Section 2.1 - Power Sets, Cartesian Products (p. 121-124). (Assessment)
Homework 8 due Mar 28 - (source) (solution)
Week 9 Reading for Apr 4th: Section 2.3 - Inverse and Compositions of Functions (p. 145-147)
- Definition 12 (p 149) (Assessment)
Homework 9 due April 8th - (source) (solution)
Week 10 Reading for Apr 11th: Section 5.1, Example 1 (p. 316), Example 3 (p. 318), other examples as needed (Assessment)
Homework 10 due April 14th, 18th, 20th - (source) (solution)
Week 11 Homework 11 due April 22nd - (source) (solution)
Week 12 Reading for Apr 24th: Section 10.2 - Definitions 1, 2, 3, 4, and 5 (p. 651, 652, 654)
- Bipartite Graphs (p. 656-657) (Assessment)
Homework 12 due April 29th - (source) (solution)
Week 13 Homework 13 due Sections A and B due May 6, Section C due May 10th - (source) (solution)

Report abuse