Day 9, Mat385

Last time

Next time

• Announcements
  • Quiz today will be over 2.1 and 2.2.
  • I put a link to the edited highlights on the homepage.

• Last time:
  • We finished up section 2.2.
  • Marked up
    • highlights from 2.2

• Today:
  • Then cover 3.1: recursive definitions (here's my highlight worksheet 3.1)
  • Then have a quiz.

• The Curious History of Venn Diagrams: A look at the curious history of Venn diagrams and how they blend logic with geometry (Scientific American)
  

• Some Fun, Motivating Examples from Propositional and Predicate Calculus