Materials Archive

Course Materials


Practice proofs for Feedback

Practice problems for tests

Other Daily Post And Worksheet 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:

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:

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:

Wednesday, February 8th, 2023:

Friday, February 10th, 2023:

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:

Friday, February 17th, 2023:

Monday, February 20th, 2023:

Wednesday, February 22nd, 2023:

Friday, February 24th, 2023:

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:

Friday, March 3rd, 2023:

Monday, March 6th, 2023:

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:

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