Day 10: mat385

• Announcements
  • Homework 1.4 is due today.
  • Homework 2.1 is due next Wednesday.
  • Exam 1 is next Friday (over Chapter 1 material, and section 2.1)

• Let's finish section 2.1: Proof Techniques

• Questions on problems from section 2.1?

• Let's start section 2.2: Induction

Links:

• Quantifiers, instantiation and generalization, and the Contrapositive
• Dominoes and induction