I will generally add new material near the top (a few items will stay at the top).
Tentative office hours: MWF 10:30-11:30, 3:00-4:00. I'll consider what if any Tuesday or Thursday hours I want to set up. It is possible that logic seminar may cause me to move one of the MWF afternoon hours.
Here is the lab manual.
Problem 1 in each set solicits your careful attention to the text of the notes: typos and errors are present, I am sure, and you all have found some of them by careful reading, so I am hoping for assistance in this respect!
Here is the midterm takehome.
Homework 4, due Oct 6: There are now a variety of exercises in sections 3.5 (1), 3.6.2 (1-2), 3.6.3 (1-3, 3 is harder), 3.6.4 (1-2; if you do 3 or 4, which are identified as projects, that will impress me and give additional credit; it is not expected). I'm going to leave it open how many of these you are expected to do: attempt them all and we will see what the performance looks like.
Homework 3: please do at least five of the eight problems at the end of section 3.4 (currently on pp. 238-9). Doing more problems is better! These are due on Friday, Sept 22.
Homework 2, due Sept 8: exercises 1-3 at the end of section 3.3.1, page 218. Problem 1 should be easy with the special assumption and trickier (considerably) without it. For Problem 3, Ill be happy to do another similar induction proof on the board on Wednesday, but my experience is that students figure these out. Problem 2 is in one sense very easy and in another very tricky (the wet paper bag issue). Do ask me questions on email or in person if you run into trouble!
Your first assignment is to do exercises 1,2,4,5,6 in section 3.2.2 in the notes (currently on p. 211). You are welcome to do problem 3 in addition (this was an example we did in class, but a nice write-up will receive some credit) and also welcome to do the harder problem 7, which I outlined an argument for in class, but which is rather tricky to write out accurately. You are also welcome to attempt problem 8, to which I am not sure I know the answer ;-) If you find yourself generally worried about how to write a proof...see me for guidance.
Homework 1 is due on Friday, Sept. 1.