Math 220: Introduction to Proofs
TTh 1-:2:20pm
Jessica Sidman, jsidman at amherst dot edu
Office hours
Gradescope
Course notes

Tuesday Thursday
1/30 2/1
  • Read: Sections 1.5-1.7.
  • Video lecture: Operations on sets
  • Self-check problems:
    • Section 1.5: 1abc
    • Section 1.6: 1acd
  • Quiz: Self-check problems from Sections 1.1 and 1.2.
  • Journal check-in: due Friday on Gradescope. If you want to use LaTex, you can use this starter code
2/6
  • Read: Sections 2.1-2.3.
  • Video: Introduction to logic
  • Self-check problems:
    • Section 2.2:1, 3, 5, 7, 9, 11
    • Section 2.3: 1, 3, 5
  • Homework 1 due.
  • 2/8
  • Read: 2.7-2.10.
  • Video: Quantifiers and negation
  • Self-check problems:
    • Section 2.7: 1
    • Section 2.9: 3
    • Section 2.10: 1
  • Quiz: The truth table for an implication, self-check problems from 2.2-2.3.
  • Journal check-in: due Friday on Gradescope.
  • 2/13
  • Read: Page 115, Pages 118-120, Section 5.3.
  • Video: Introduction to direct proof: even and odd integers
  • Self-check problems:
    • Chapter 4:1, 3, 5
  • Homework 2 due.
  • 2/15
  • Read: Page 121 - first proposition on Page 122, Sections 8.1-8.3..
  • Video: Examples of direct proof: divisibility and sets
  • Self-check problems:
    • Chapter 4: 7, 11
    • Chapter 8: 1, 7
  • Quiz: Quantifiers and negations: problems like the self-check problems from Sections 2.7, 2.9, 2.10.
  • Journal check-in: due Friday on Gradescope.
  • 2/20
  • Read: Sections 5.1, 6.1, and 6.2.
  • Video: Proof by contrapositive and contradiction compared
  • Video: The square root of 2 is irrational
  • Self-check problems:
    • Chapter 8: 1, 11
  • Homework 3 due.
  • 2/22
  • Read: Click here and read pages 185-186
  • Video: Division algorithm: examples
  • Video: Division algorithm: proof
  • Self-check problems:
  • Quiz: One direct proof chosen from self-check problems from Chapter 4 or 8.
  • Journal check-in: due Friday on Gradescope.
  • Read: Click here and read Section 9.4.
  • Video: Euclidean algorithm: Examples
  • Video: Euclidean algorithm: proof
  • Self-check problems:
  • Homework 4 due.
  • 2/29
  • Exam I: See the study guide on moodle for detailed information.
  • 3/5
  • Read: Section 10.1.
  • Video: Induction divisibility example
  • Self-check problems:
    • Chapter 10: 1, 9, 17. (All of the odd-numbered problems 1-21 are great practice.)
  • Mini-homework 5 due.
  • 3/7
  • Self-check problems:
    • Chapter 10: 3, 5, 19
  • Journal check-in: due Friday on Gradescope.
  • 3/12
  • Read: Introduction to Graph Theory.
  • Video: Introduction to Graph Theory
  • Video: Theorems about vertex degrees
  • Self-check problems:
  • Homework 6 due.
  • 3/14
  • Read:Introduction to Trees
  • Video: Introduction to Trees
  • Video: Every tree has a leaf!
  • Video: Trees have n-1 vertices
  • Video: A connected graph with n vertices and n-1 edges is a tree
  • Self-check problems:
  • Quiz: One induction problem like the self-check problems.
  • Journal check-in: due Friday on Gradescope.
  • 3/26
  • Read: Section 12.1.
  • Self-check problems:
    • Chapter 12.1: 1, 3, 7, 9.
  • Homework 7 due Wednesday.
  • 3/28
  • Read: Section 12.2.
  • Self-check problems:
    • Chapter 12.2: 3, 5, 7
  • Journal check-in: due Friday on Gradescope.
  • Quiz: Be able to state the definition of a connected graph, path, cycle, and tree.
    Also be able to state our important theorems about trees and our theorem about the sum
    of the degrees in a graph. You should be able to use these theorems and definitions
    to answer True/False questions and to come up with examples.
  • 4/2
  • Read: Section 12.3.
  • Self-check problems:
    • Chapter 12.3: 1.
  • Homework 8 due.
  • 4/4
  • Exam II. See the study guide on moodle for detailed information.
  • 4/9
  • Read: Section 12.4.
  • Self-check problems:
    • Chapter 12.4: 1, 9.
  • Miro board for proof puzzle
  • 4/11
  • Read: Section 12.6.
  • Mini-homework 9 due.
  • Self-check problems:
    • Chapter 12.6: 1, 9.
  • Journal check-in: due Friday on Gradescope.
  • 4/16
  • Break!
  • 4/18
  • Read: 14.1
  • Self-check problems:
    • Chapter 14.1: 1, 3, 7.
    • Quiz: Like the self-check problems from 12.4 and 12.6.
  • 4/23
  • Function wrap-up day!
  • Homework 10 due.
  • 4/25
  • Read: Section 2.2 in Abbott (Download from the library here.)
  • Self-check problems:
    • problems
    • Journal check-in: due Friday on Gradescope.
    • Quiz:Like the problems from 14.1
  • 4/30
  • Read: Section 2.3 in Abbott (through the proof of Theorem 2.3.3 (ii))
  • Self-check problems:
  • Homework 11 due.
  • 5/2
  • Read: Secion 2.3 in Abbott
  • Self-check problems:
  • Journal check-in: due Friday on Gradescope.
  • Quiz:Like the problems from 2.2.