MLK Day no classes
|
|
classes begin
|
|
|
|
|
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!
|
|
|
add deadline
|
|
|
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! |
|
|
drop deadline
|
|
|
|
|
|
|
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) |
|
|
|
|
|
|
Spring Break
|
|
Spring Break
|
|
Spring Break
|
|
Spring Break
|
|
Spring Break
|
|
|
|
|
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 |
|
|
|
|
|
section 4 |
|
|
|
section 4 |
|
|
|
|
|
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 |
|
|
|
major theorems |
|
|