MLK Day no classes
for Thursday read sections 2.1-2.6 in the notes. Some of this will recapitulate what we talked about Tuesday but it goes farther. It would also be a good idea to read 2.10-12, and 3.1-4. How far we get with all this will be determined by events; come armed with questions ;-) See Tuesday for Homework I.
for today, read at least sections 3.1-4. Review section 2. Homework I is here. There is also a link on my main page.
Please note that I added substantial material to sections 3.2 and 3.4 in response to discussion in class Tuesday. I also have not quite covered everything in 3.1-4. I expect to cover some unfinished business from section 3.4 then start 3.5. So I suggest re-reading sections 3.1-4 (with attention to changes) then reading section 3.5. There is a lot of material in section 3.5 which will probably not all be covered in one day!
Homework 2 is posted. Homework 2 is due on Feb. 12.
Homework 1 due.
Homework 2 deferred to Thursday. Look at new version, and visit me before Thursday.
Homework 2 due (revised).
no classes -- missed that when I was setting up the calendar
Homework 3 due (revised). Homework 4 is here!
Test I: I'll be talking about this more as we get closer…
Homework 4 due
Homework 5 is here. It is due Thursday after Spring Break further delayed to the following Tuesday)
3.11: transfinite recursion examples
3.13: equivalents of the axiom of choice
Homework 5 revised due date; 3.14: more transfinite cardinal arithmetic
3.15: Cantor's theorem
5.1, 5.2: formalization of syntax and meaning
5.3: propositional sequent calculus
5.4: first order sequent calculus
computer lab -- we will meet in MG122