Slides from October 24 are now posted.
Slides from October 22 are now posted.
Problem Set 5 is due on Wednesday, Oct. 29, but see the advantages of handing it in early, on Monday, Oct. 27.
Problem Set 4 was due on Wednesday, Oct. 22, but it can be handed in up to one week late and still get some credit.
Before today’s class, please read LPL Ch 1.1-1.2
Please read LPL, Ch 3 up through section 3.4 (Don’t worry about reading anything from Chapter 2 at this point; we really are skipping over it for now.)
NO CLASS: LABOR DAY
Please Read LPL Ch 3.5-3.7
Please Re-read LPL Ch 3.5-3.7
Please read LPL, Ch 4-4.3.
Software Introduction: Boole
LPL, Ch. 4-4.3 continued
Other types of Necessity, Possibility, Equivalence, and Consequence
Please read LPL, Ch 2-2.1, 6-6.3
PS 2 posted today and due on Friday, Sept. 26.
Please read LPL Ch 2.2-2.3 and 6.4-6.5
Please re-read LPL Ch 6.4-6.5
Please read LPL Ch 7-7.3, and have a quick look at LPL Ch 8.2
Please read LPL Ch 8.2
Please read LPL Ch 7.3. Refresh your memory of Ch 7–7.2 and 8.2
More practice with proofs and translations involving → and ↔
Review for Exam 2 based on student questions, with special emphasis on Practice Exam 2
No Class: Fall Break Day
Please read LPL Ch 9–9.4
Please re-read LPL Ch 9.4 and read 9.5
Please read LPL, Ch 9.6
Please read LPL Ch. 10.1
Please read LPL Ch 10.2
Please review 10.1–10.2
Please read LPL Chapter 10.3
Review for Exam 3, based on student questions, with special attention to questions about the practice exam.
Please read LPL 11.1 and 11.2
Please read LPL Chapter 11.2-3
Please read LPL Ch 11.4
Re-read LPL Ch 11.4
Please read LPL Ch 13.1-3, 13.5
Please re-read LPL, Chapter 13.1–3, 13.5
NO CLASS: Head home for Thanksgiving break
NO CLASS: Recover from Thanksgiving. Shop, if you dare.
PS 8 due by 5 p.m. on Reading Day (Monday, Dec. 7)
Exam 4 will be administered in our regular classroom during our scheduled final exam slot. (Check this page to see the schedule for this and all of your other exams.)
Exam 4 is not a comprehensive final exam. It will only test you on the material after Exam 3. See the Practice Exam here.