Day 17, Mat385

Last time

Next time

• Announcements
  • Super easy quiz today. Glad that you're here!

  • Projects! Your project proposal is due today.

    You can just email it to me directly. I'll get back to you with any comments or concerns.

    Thanks to those of you who have already submitted.

• Last time:
  • We talked about sets, and ended up discovering that the power set of a set \(S\), $\wp(S)$, always satisfies $Card(\wp(S))>Card(S)$ -- even when the set \(S\) is infinite.

    Since the power set is a bigger set, and it is a set, it has a power set which is bigger yet; etc. etc. There is an infinite set of larger and larger infinities!

  • Marked up
    • highlights from 4.1

• Today:
  • We'll get a start on chapter 6, with Section 6.1 (Graphs).

• Some Fun, Motivating Examples from Propositional and Predicate Calculus