Rhombic tiling, permutation plot, subset gamegraph, permutahedron, hyperplane arrangement, structure diagram, three-dimensional heap, Cayley diagram, braid graph, and L-tromino tiling.

Guidelines

On each homework assignment, please write (i) your name, (ii) name of course, and (iii) homework number. You are allowed and encouraged to work together on homework. Yet, each student is expected to turn in their own work. In general, late homework will not be accepted. However, you are allowed to turn in up to three late homework assignments with no questions asked. Unless you have made arrangements in advance with me, homework turned in after class will be considered late. When doing your homework, I encourage you to use the Elements of Style for Proofs (see Appendix A of the course notes as a reference.

Daily Homework

The following assignments are to be turned in at the end of the indicated class period. I reserve the right to modify the assignment if the need arises. These exercises will form the basis of the student-led sharing of solutions/proofs each day. Daily assignments will be graded on a $\checkmark$-system. During class, you are only allowed to annotate your homework using the colored marker pens that I provide.

Weekly Homework

In addition to the Daily Homework, we will also have Weekly Homework assignments. For most of these assignments, you will be required to submit 2-3 formally written proofs. Typically, two of the problems will come directly from the Daily Homework from the previous week. Any additional problems will likely be new. You will be required to type your submission using LaTeX (see below for more on this). You can either submit a hardcopy of your assignment or email me the PDF of your completed work. If you email me the PDF, please name your file as WeeklyX-Lastname.pdf, where X is the number of the assignment and Lastname is your last name. Notice there are no spaces in the filename.

  • Weekly Homework 1: Prove two of Problem 2.9, Theorem 2.14, Theorem 2.18, or Theorem 2.22 from Chapter 2: Mathematics and Logic. (Due Thursday, February 2 by 8PM)
  • Weekly Homework 2: Prove two of Theorem 2.23, Theorem 2.43, Theorem 2.44, or Theorem 2.45 from Chapter 2: Mathematics and Logic. (Due Thursday, February 9 by 8PM)
  • Weekly Homework 3: Prove one of Theorem 2.55 or Theorem 2.56 from Chapter 2: Mathematics and Logic. (Due Tuesday, February 14 by 8PM)
  • Weekly Homework 4: Prove two of Theorem 3.20(a), Theorem 3.21(a), Theorem 3.25, Theorem 3.26, or Theorem 3.27 from Chapter 3: Set Theory and Topology. (Due Tuesday, February 28 by 8PM)
  • Weekly Homework 5: Prove one of Theorem 3.43(a), Theorem 3.43(b), Theorem 3.44(a), and Theorem 3.44(b) from Chapter 3: Set Theory and Topology. (Due Tuesday, March 7 by 8PM)
  • Weekly Homework 6: Prove one of Theorem 4.10, Theorem 4.12, Theorem 4.15, Theorem 4.20 from Chapter 4: Three Famous Theorems and one of Theorem 5.7, Theorem 5.8, Theorem 5.11, Theorems 5.13-5.23 in Chapter 5: Induction. (Due Tuesday, March 28 by 8PM)
  • Weekly Homework 7: Prove two of Theorems 6.51, 6.56, 6.58 and 6.59 from Chapter 6: Relations. (Due Tuesday, April 11 by 8PM)
  • Weekly Homework 8: Prove one of Theorems 7.20 and 7.21 from Chapter 7: Functions. (Due Tuesday, April 18 by 8PM)

Using LaTeX for Weekly Homework

You are required to use LaTeX to type up your Weekly Homework assignments. To do this, I suggest that you use my LaTeX Homework Template. The easiest way to get started with LaTeX is to use an online editor. I recommend using Overleaf, but there are other options. The good folks over at Overleaf have preloaded my template, so to get started, all you need to do is click the link below.