Meets MWF 11:30 in PH A18B
A. X5101. Also give the recursive definition of substitution for free occurrences of variables. Due Wednesday, January 28.
E1. X5209 in ETPS. Due Monday, February 2.
E2. X5201 in ETPS. Due Friday, February 6.
Present in class certain parts of the proof of 5402 as specified in class.
E3. X5203 in ETPS. Due Wednesday, February 11.
E4. X5205 in ETPS. Due Friday, February 13
B. X5401, X5402 Due Wednesday, February 18.
T1. Test on sections 50-54 Wednesday, February 25.
E5. X5303 in ETPS. Due Monday, March 2
E6. X5305 in ETPS. Due Wednesday, March 4
E. X5502. Due Wednesday, March 18.
E7. X5308 in ETPS. Due Friday, March 20.
E9. X6004 in ETPS. Due Monday, March 23.
F. X5503. Due Wednesday, March 25.
E10. X6101 in ETPS. Due Friday, March 27.
E8. X5310 in ETPS. Due Monday, March 30.
D. Derive (2) from (1), (3), and (4) in the definition of isomorphism on page 245. Due Wednesday, April 1.
H. X6202. Due Friday, April 3.
T2. Test on sections 54-64 Friday, April 10.
I. X6414 Due Wednesday, April 15.
G. X6008. Due Monday, April 20.
J. X7100 and X7101. Due Wednesday, April 22.
C. X5405. Due Friday, April 24.
E11. X6201 in ETPS. Due Monday, April 27.
K. X7105. Due Wednesday, April 29.
It's time to fill out the University Course Assessment form. Access this through the Carnegie Mellon academics portal, and click on University Course Assessment under Courses.
T3. Final Exam Tuesday, May 12, 1:00 - 4:00, in PH A22.
The exam covers Chapters 5 - 7,
omitting proofs of 6211 - 6213, page 283, pages 289 - 296, proofs in the rest of section 65, the proof of 7004, page 331, 7304 - 7306.
No regular office hours will be held after April 29. Call for appointments.