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.)
Please Read LPL Ch 3.5-3.7
Please Re-read LPL Ch 3.5-3.7
NO CLASS: Mark is out of town.
NO CLASS: LABOR DAY
Please read LPL, Ch 4-4.3.
Software Introduction: Boole
LPL, Ch. 4-4.3 continued
Problem Set 1 due by the beginning of class.
Other types of Necessity, Possibility, Equivalence, and Consequence
Please read LPL, Ch 2-2.1, 6-6.3
Please read LPL Ch 2.2-2.3 and 6.4-6.5
PS 2 due at the beginning of class
Please re-read LPL Ch 6.4-6.5
This is the end of the material on which you will be tested for Exam 1! That exam only covers material up through Chapter 6.
Proof Workshop! Bring your PS 3 files to work on in class if you aren’t done with them. If you are done with PS 3, I’ll announce some other problems you might want to try for practice.
Please read LPL Ch 8.2
PS 3 due at the beginning of class
Please read LPL Ch 7-7.3, and have a quick look at LPL Ch 8.2
We’re starting in today on material from Chapter 7, which won’t be covered on Exam 1. It will be covered on Exam 2.
Please read LPL Ch 7.3. Refresh your memory of Ch 7–7.2 and 8.2
PS 4 is posted. It’s due on Wednesday, Oct. 14.
NO CLASS: Mark is out of town
Please read LPL Ch 9–9.4
PS 4 due at the beginning of class
Please re-read LPL Ch 9.4 and read 9.5
NO CLASS: IWU Fall Break Day
Please read LPL, Ch 9.6
Please read LPL Ch. 10.1
PS 5 is due.
Please read LPL Ch 10.2
Please review 10.1–10.2
Please read LPL Chapter 10.3
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 9 due at the beginning of class today.