1. Kinds of formal mathematical statements and their components:
   (AND/OR/NOT, For all real numbers x, for all sequences of
   real-valued functions, Alice believes that Bob said his key is
   uncompromised).

2. Proof systems.  When can we prove that something is true?  Do we
   have enough axioms, or too many?  True but unprovable sentences.

   Interactive proofs.  I'll prove that a given Sudoku has a solution,
   without spoiling the fun.

   A "physical" proof of the Pythagorean theorem.

3. Expressibility.  Generally, the more we express in a logic, the
   harder it is to analyze.  Why can't travelocity find the best route
   from Albuquerque to Ann Arbor?

4. Class logistics: See syllabus.  Expect inquiry-based learning (in
   class work).  Puzzles, many of which will relate to class matter.

   Three roommates share a bicycle.  They want to lock it with
   flexible cables in such a way that any two roommates can unlock the
   bike but no one can.