I will generally add new material near the top (a few items will stay at the top).

Here is the lab manual.

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...

- Tuesday March 14 (writing in the morning on the 15th): covered section 3.10 and section 3.11 up to the discussion of addition. Homework (including stuff from 3.11 which I will review and/or newly cover on Thursday):
problems 4 and 5 in 3.9.1 (newly added, update if you don't see them), problem 1 in 3.10.1, problems 1,2,4 (I did this in class, but do it: this is a good test question (hint, hint), 5,6 in 3.11.1.
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.

- Thursday Feb 23 (actually posting on the 24th): We have just finished section 3.6 on (mostly familiar) definitions re relations and functions: you should review these.
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.

- Thursday, February 9. Today I lectured part of section 3.5 (up to the proof that Peano axiom 4 follows from the axiom of infinity); I strongly suggest reading section 3.5, which I will continue to lecture on Tuesday.
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.

- Thursday Feb 2 (well, I'm actually posting this on the morning of the third; and sorry about the typoed month): lab is due (remember there is a paper proof in it too). The third homework assignment: exercises 2.14 4b, 5, 9 and the 3.4.1 exercises 1-4.
In addition there will be a lab exercise or two in Marcel which I will post today (I'll try to give a little time to work on lab exercises in class so I can see what you are doing). The paper homework at least is due Thursday the 9th.

- Thursday Jan 26: First logic lab. You should show up with your laptop with Python installed, but I will work on this in class as time permits. The Marcel lab manual appears at the top of this page. The Lab I exercises are on page 55 of the lab manual. This file contains some commands for the lab set up for you (some of them you are supposed to set up yourself).
- Tuesday Jan 24: more logic lecture, up to introduction of quantifiers and their rules.

- Thursday, 19 January: Proved more theorems of propositional logic in chapter 2. Demonstration of the Marcel proof checker given. Please notice that on the morning of the 20th I posted an update of the text with more detailed proofs of the contrapositive theorem and the theorem motivating alternative elimination and disjunctive syllogism. I left the more informal English proofs in place for comparison.
I suggest installing Python 3 (the latest version seems to be Python 3.6) on your laptops for pending computer labs. You can get the Python version of Marcel here and the manual here.

- Tuesday, 17 January: Reviewed Thursday's lecture and continued up through the proof of the contrapositives theorem.
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.

- Thursday, January 12th: I discussed basic sentence structure and the logic of implication, conjunction, and a touch of the biconditional (sections 2.1, 2.2, 2.4 and a touch of 2.5). I'll continue the proof example we were working on at the end of class on Tuesday. The first homework will appear on Tuesday or maybe even on Thursday.
- Tuesday, January 10th: This was a snow day!