## Course Materials

- Online textbook Book of Proof (Hammack) — free PDF online
- Online textbook Proof and the Art of Mathematics (Hamkins) — free through CU libraries
- Grades are on canvas.
- The self-evaluation sheet.
- The proof-grading rubric.

### Quizzes

- First proof quiz solutions (Feb 1)
- Second proof quiz solutions (Feb 8)
- Counting quiz (Feb 15) and its solutions.
- Third proof quiz solutions (Feb 22)
- Sets quiz (Mar 1) and its solutions.

**Practice proofs for Feedback**

- Sudoku (Jan 23)
- Set is Integers (Jan 25)
- Set containment ( Jan 27)
- Cups problem (Jan 30) + ChatGPT’s failures
- Number of subsets (Feb 1)
- Number of orderings (Feb 3)
- Combinatorial proof (Feb 6)
- Combinatorial proof (Feb 10)
- Proof about squares (Feb 13)
- Contradiction proof (Feb 17)
- Contradiction proof (Feb 20)
- Contradiction proof (Feb 22)
- Contradiction proof (Feb 24)
- Contradiction proof (Feb 27)
- disproof (Mar 3)
- disproof (Mar 6)

### Practice problems for tests

- Counting problems and solution set.
- Sets problems and solutions.
- Existence proofs worksheet and its solutions.
- Logic problems and solution set.

### Other Daily Post And Worksheet Solutions

- Jan 27: PDF and video explanation (be aware these are example solutions, as there are many possible solutions — reach out if you want me to double-check yours!)
- Negation worksheet and solutions.

## Day-by-day Archive

The following calendar will be populated with links to material from each lecture, so you can catch up on anything you’ve missed and revisit important material.

**Wednesday, January 18th, 2022:**

- Snow day!

**Friday, January 20th, 2022:**

- The real first day of class. We did a group activity (see instructions and polyhedron sheet).

**Monday, January 23rd, 2022:**

- We discussed the solutions to the first proof assignment (sudoku), what a proof is, what purpose it serves and what we’re looking for in this class.
- We read the textbook together with an emphasis on active reading, and addressed some questions from the reading (Section 1.1 of Hammack).

**Wednesday, January 25th, 2022:**

- We looked over a sets/set-builder study sheet, introduced the notion of a subset, and played a bingo game to practice all these notions. We have essentially wrapped up the material in 1.1 and 1.3 of Hammack. Here’s the notes/study-sheet and the bingo sheet and card deck.

**Friday, January 27th, 2022:**

- We looked over the proof assignment (set containment)
- We discussed the sock and cups problems.
- We worked on a counting sheet.

**Monday, January 30th, 2022:**

- We looked over the cups problem solution.
- We discussed the Multiplication Principle (Textbook Section 3.2, phrased in terms of “lists” Section 3.1) for counting problems and did the first few problems of the counting sheet together.
- Class notes from our discussion.

**Wednesday, February 1st, 2022:**

- We had our first in class proof quiz. The schedule of quizzes is under the “Grading” tab.
- We worked on some more counting problems from our counting worksheet.
- Class notes from our discussion.

**Friday, February 3rd, 2022:**

- We discussed a variety of counting problems from our counting worksheet.
- These included
*overcounting*. - We recording the
*“Division principle”*for uniform overcounting. - We defined the
*binomial coefficient*and proved a formula for it. - We proved a
*combinatorial identity*(a sum of binomial coefficients comes out to a power of two) using*combinatorial proof*. - Here are class notes.

**Monday, February 6th, 2022:**

- We spent more than half the class discussing proof-writing with the first proof quiz as an example. Here’s the solutions/writing comments document.
- Then, we worked on the combinatorial proof worksheet.

**Wednesday, February 8th, 2023:**

- We worked on the combinatorial proof worksheet.
- We had the second proof test.
- Here are class notes.

**Friday, February 10th, 2023:**

- We reviewed the counting principles/overview
- I gave out a solution/study sheet for combinatorial proof.
- We defined and practiced Cartesian products and power sets
- Here are class notes.

**Monday, February 13th, 2023:**

- We covered intersection, union, set difference, complement, disjoint (definitions for sets).
- We proved that the square root of 2 is irrational.
- Here are class notes.

**Wednesday, February 15th, 2023:**

- We discussed Second proof quiz solutions
- We took up questions about practice counting problems and solution set.
- We took the Counting quiz; here are its solutions.

**Friday, February 17th, 2023:**

**Monday, February 20th, 2023:**

- Took up proof for feedback.
- Went over solutions to contradiction puzzlesheet.
- Started on Set Up Contradiction sheet.
- Some class notes (scribbles, really).
- Class was on Zoom because of illness (video is on canvas under “Media Gallery”).

**Wednesday, February 22nd, 2023:**

- Set Up Contradiction sheet (didn’t get to this)
- Negation worksheet (we started this)
- Proof Quiz

**Friday, February 24th, 2023:**

- Class note (summary of negation)
- negation worksheet with answers from class

**Monday, February 27th, 2023:**

- We looked over the solutions to the last proof quiz.
- We introduced Boolean algebra and truth tables as a way of verifying logical laws. We revisited some of the negations we had met previously and checked them as truth tables.
- Logical laws listing
- Notes from class

**Wednesday, March 1st, 2023:**

- Took up Sets problems and solutions.
- Sets quiz; here are its solutions.

**Friday, March 3rd, 2023:**

- We finished working through logical laws and did a few examples of boolean algebra using logical laws (simplifying/manipulating expressions; see Logical laws listing sheet
- We did the Wason Selection Task experiment on the class (and it worked very well) — here is PDF (in case you want to try it on your roommate)
- Then we introduced quantifiers (Hammack, Chapter 2.7), and handed out a Quantifiers Practice sheet.
- class notes
- Handed back Sets quiz ; here are its solutions.

**Monday, March 6th, 2023:**

- Quantifiers practice sheet and solutions
- solns to feedback proofs (1,2)
- class notes
- Existence proofs worksheet and its solutions.

**Wednesday, March 8th, 2023:**

- We did some example proofs of the existence variety, then we had the proof quiz.
- class notes

**Friday, March 10th, 2023:**

- We talked about negating quantifiers
- We did a fun non-constructive existence proof
- We took up quantifiers-negation practice sheet
- We discussed using quantifiers to define limits (justifying calculus)
- class notes

**Monday, March 13th, 2023:**

- We covered contrapositive and converse.
- We demonstrated proof by contrapositive.
- We demonstrated proof of an “if-and-only-if”
- We began Graph Theory by defining a graph.
- class notes

**Wednesday, March 15th, 2023:**

- Reviewed solutions to last proof test
- Reviewed solutions to practice problems for logic
- Took the logic quiz