Logic Schedule with Homework Assignments

DateDiscussionAssignment
9/26parallel postulate and 1.1Read 1.1, think about/attempt problems 2 and 5
9/281.1 #2, 5 and 1.2Read 1.2, write up 1.1 #5 for 10/1
10/1tautological equivalence problem from Friday, 1.3, 1.2 #9, 10Write up 1.2 #2, 5 for 10/5
10/31.2 #10(b,c), 1.4nothing new
10/51.5, start of 1.7Write up proof of the compactness theorem for 10/12
10/8start of 1.7, 1.6Nothing new
10/10rest of 1.7Write up 1.7 #8, 11 for 10/17
10/12deductions (1.7 exercises)Nothing new
10/15intro to 2.1 and 2.2Nothing new
10/17more on 2.1 especiallyNothing new
10/19continuing through 2.2Warning that some exercises from the handout will be for handing in
10/22"review": carefully selected examples from chp 1Take-home part of midterm due 10/26
10/24continuing through 2.2Write up handout exercises 1, 2, 4, 5, 8 for 11/2
10/26in-class part of midtermNothing new
10/29continuing through 2.2Write up handout exercises 14, 15 for 11/7; also for 11/7: in the language L = (=, <=) write a definition of the relation lub(a,b,c) meaning a is the least upper bound of b and c.
10/31Halloween logicNothing new
11/2Begin 2.4nothing new
11/5more 2.4nothing new
11/7more 2.4nothing new
11/9finish 2.42.4 # 6(a), 7(a, b) due 11/16
11/12begin 2.52.5 #2, 6 due 11/26
11/14finish 2.5, start 2.6nothing new
11/16more 2.62.6 #1, 4 due 11/26 (along with previous assignment)
11/19finish 2.62.6 #2, 3 due 11/30
11/26Begin incompletenessnothing new
11/28"Finish" incompletenessnothing new
11/30Recap/reviewnothing new
12/3last day of class; recap/reviewtake-home final distributed

Final Exam: Make an appointment with me for Monday the 10th, no earlier than 10 AM and no later than 3 PM. Bring your take-home with you to turn in, and take the in-class at that time. You will be allowed an hour and a half for the in-class portion though I hope it will not take anyone as long as that.

Back