All reading assignments are in the Barwise & Etchemendy textbook, Language Proof and Logic, unless stated otherwise.
| Date | Assignment | Reading | Subject | |
|---|---|---|---|---|
| Jan 29 | What is logic? Truth in a model? Validity of an argument? | |||
| Feb 05 | More validity exercises; "proving" scientific theories; introduction to the blocks world |
|||
| Feb 06 | Last day to add classes | |||
| Feb 12 | HW1 | chaps. 1-4 | Boolean connectives | |
| Feb 19 | chaps. 5-6 | Proofs involving Boolean connectives | ||
| Feb 20 | Last day to drop classes | |||
| Feb 26 | HW1 due; HW2 | chap. 7 | Conditionals | |
| Mar 04 | chap. 8 | |||
| Mar 12 | Spring Break | |||
| Mar 18 | HW2 due; HW3 | chap. 9 | Quantifiers | |
| Mar 25 | chap. 10 | |||
| Mar 25 | Last day to withdraw from classes | |||
| Apr 01 | HW3 due; HW4 | chap. 11 | Multiple quantifiers | |
| Apr 08 | chap. 12 | Proofs involving quantifiers | ||
| Apr 15 | HW4 due; HW5 | chap. 13 | ||
| Apr 22 | chap. 16 | Mathematical induction | ||
| Apr 29 | HW5 due | chap. 15, 17 or 19 | Set theory, Resolution and computers, or completeness and incompleteness | |
| May 06 | Catch up and review | |||
| May 15 | Final exam, 6:45-8:45 PM | |||