I will generally add new material near the top (a few items will stay at the top).
Here is the lab manual.
This problem set is officially due the class session after the exam, but if you turn it in on Tuesday the 4th I will have it graded before the exam.
Homework, due March 2: in section 3.5.2, do problems 1,2 (if you prove the result of exercise 3 I believe that can be used to do exercise 2), 4 (I did this in class: but write out your own proof, with care), 5 (5 is just an induction proof in arithmetic, no specific mention of set theory: but there is something funny about it), 8, 10. In addition, do section 3.6.1 exercise 2. You may optionally do question 6 in section 3.5.2 (compute a Quine pair and projections of a Quine pair) and the first part of question 7 in 3.5.2 (the first definition ever given of the ordered pair as a set). Some of these problems have solutions in the text, but there is real value in attempting them on your own first. In addition there is a Marcel lab, due March 9: here.
I am not posting paper homework today, though I am likely to post a Marcel lab for quantifier logic (with a longish due date) quite shortly. Your test will cover up to the end of section 3.4 (logic and simple set theory concepts: section 3.5 is on the next exam. I will try to get some review material for the test up by Sunday.
Homework I, due Thursday, January 26th: section 2.14 in the notes (Exercises for chapter 2) exercises 2,3,6,7,8,10. Examples of work in chapter 9 (the manual of logical style at the end) are a better model for your work than the current text of examples in section 2: I am more explicit about line numbers and indented structure in the chapter 9 examples.
Here is a review sheet for the test, to give you an idea what content in the text to study. I may expand on it in the next couple of days, or may not, depending on time...
Test II will be a hybrid take-home exam. You will receive two copies of the test, one of which you can complete in class for full credit, and the other of which you can complete at home and return on Tuesday for 60 to 90 percent credit (this percentage will be set for each question based on class performance and my opinion of the question). On the take home part, you may consult no person but me, and if I detect you copying a complete solution to a problem from another source it will be bad (this doesn't mean you can't consult whatever sources you have available to you, but you should use them to write your own answers).