Problem Set 1

Due Friday, January 17 at 1:00 PM Pacific

Solutions are available!

🔑 Solutions


Here we are – the first problem set of the quarter! This problem set is designed to give you practice writing proofs on a variety of different topics. We hope that this problem set gives you a sense of what proof-based mathematics is like and helps solidify your understanding of set theory.

Before you start this problem set, please do the following:

  • Review the Guide to Proofs for information about common proofwriting techniques.
  • Review the Guide to Partners for information about how to work effectively in a pair.
  • Review the Guide to Office Hours for information about how office hours work.
  • Review the Guide to $\LaTeX$ to learn how to typeset your solutions with $\LaTeX$.
  • Review the Proofwriting Checklist for a detailed set of criteria you should apply to your proofs before submitting them. We will be running this same checklist on your proofs when grading, so please be sure to look over it before submitting!
  • Review the Guide to $\in$ and $\subseteq$ to make sure you understand the distinction between these terms.

As always, please feel free to call into office hours or post on EdStem if you have any questions. We're happy to help out.

Good luck, and have fun!

Starter Files

You will need to download and set up this Qt Creator project to complete the first two problems on this problem set:

📦 PS1 Starter Files

Unpack the files somewhere convenient and open up the bundled project.

As a reminder, you are required to type your solutions to this problem set. If you would like to type your solutions in $\LaTeX$, you may want to download this template file where you can place your answers:

🖋 PS1 $\LaTeX$ Template

You are also free to use Microsoft Word, Google Docs, etc. to type up your solutions.

General Advice

  • First, read through the index of problems below to get an idea of time management for this assignment.
  • Next, glance through all the questions before you start working. This not only ensures you won't be caught off guard as you reach later problems, but also gives your brain a chance to start working on some of these as a background process while you do other things.
  • If you get stuck, consider moving on to another problem for a while! Changing things up is a great way to get out of a rut, make new connections between concepts, and spark creative insights!
  • If you realize you don't have the requisite knowledge to complete a problem, take a step back from it and review the relevant lecture materials. Skipping lecture and trying to extract the relevant tidbits for each problem will lead to a more frustrating experience than engaging fully with a lecture and approaching the problem sets afterward.

Problem Index

Part 1: Set Theory

This section contains three problems (two autograded, one written / manually graded). We recommend you aim to complete these by Sunday afternoon. If you run into trouble, read through the entire Guide to Elements and Subsets and consult the Lecture 0 materials.

  • Q1: Much Ado About Nothing
  • Q2: Set Theory in C++
  • Q3: Describing the World in Set Theory

Part 2: Proof Writing and Proof Techniques

This section contains three problems (all written / manually graded). We recommend you aim to complete these by Tuesday evening. If you run into trouble, take a look back at the Guide to Proofs, the slides from our lecture on mathematical proofs, or the Proofwriting Checklist, for a refresher about how to work with universally-quantified statements and implications.

  • Q4: Writing Direct Proofs
  • Q5: Writing Proofs by Contrapositive
  • Q6: Writing Proofs by Contradiction

Part 3: Universally and Existentially Quantified Statements

This section contains two problems (both written / manually graded). We recommend you aim to complete these by Tuesday evening.

  • Q7: Proving Proving Existentially-Quantified Statements
  • Q8: Proving Mixed Universal and Existential Statements

Part 4: Putting It All Together

This section contains two problems (both written / manually graded). We recommend you aim to complete these by Friday deadline.

  • Q9: Proof Critiques
  • Q10: Sums of Cubes

Part 5: Gradescope Submission Logistics: Tagging Problems

This section has some instructions related to submission logistics. This is something you will do when you submit your assignment. We recommend you aim to complete this a few hours before the deadline so that your submission won't be marked late if you encounter technical issues.

  • Q11: Tag Pages and Add Your Partner

Optional Fun Problem

This is an optional fun problem! Click through for more details.

  • Optional Fun Problem: Infinite Deviation