Day 24: mat385

Last time

Next time

Today:

• Announcements:
  • I hope that the exam went well. I haven't looked at them yet. I'm getting my calculus class ready for their fourth and final midterm, and I have a lot of grading to get caught up on for them -- that's a priority. Sorry about that.

  • We have four sections left, and six "class sessions". I've planned to have two sessions for section 9.3, which is among my favorites. So we're going to be barrelling ahead with the material in sections 8.1, 8.2, and 8.3 for the next three sessions: Boolean Algebras, Logic Networks, and Minimization. Section 9.3 is Finite-State Machines. And then... the final! So this constitutes the new material for the final exam.

    Your final will come in two parts: New material, and old material -- half and half.

• Today: Boolean Algebras

  Boolean algebras are a generalization -- or abstraction -- of both propositional logic and the set operations of union, intersection, and complement.

  This will be the third time we see the same laws, but in a different context. Hopefully the third time is the charm!:).

  If you get a chance, check out the biography of George Boole that I link to in the materials -- a really interesting guy. Especially interesting is his untimely manner of death....

  • Boolean Algebras:
    1. outlines
    2. some proofs

  • The marked up pdf for Section 8.1.

• Links:
  • Nothing to note.