Due Monday, October 12th

Due Mon:

  • IMPORTANT:  I’m instituting a policy that you must attempt at least 2 of the 3 written attempts for a badge to be eligible for an oral exam for that badge.  The oral exams are not meant to be a substitute for the written work, they are meant to help work out the bugs after you’ve put in the hard work.  Note: if you want a one-time exemption for this because this is a new policy and you didn’t anticipate it, drop me an email.  But you must do the written badges from now on to have an attempt at an oral exam.
  • To Know:  There’s a proof by contrapositive due Monday.  You can now schedule an oral exam for Sets IV if you need/want.  Logic badges will be gradually appearing, beginning with truth tables (this week), then logical equivalences (for next week), then the others.
  • To do:  Read (actively, as always!) Section 2.7 (Quantifiers), and do all the exercises for 2.7 to hand in on canvas.