© 2024. All rights reserved.
Site created with
Hakyll.
Modified theme
lanyon-hakyll
based on
Lanyon.
© 2024. All rights reserved.
Site created with
Hakyll.
Modified theme
lanyon-hakyll
based on
Lanyon.
Spring 2021 (pandemic): taught virtually
The pacing for this course, and due dates for problem sets, will be set by the individual preceptors. What we all have in common is the midterm (week of March 8-12) and final exams. Nonetheless, here is a rough guide to what your schedule might look like for the first half of the semester.
| Module / Pset | Due date (tentative) | Reading |
|---|---|---|
| Pset 1 (basics) | Fri, Feb 5 | Chap 1 “Logic for Humans” |
| Pset 2 (translation) | Fri, Feb 12 | Chap 2 “Deducing” |
| Pset 3 (deduction) | Fri, Feb 12 | Chap 2 “Deducing” |
| Pset 4 (CP) | Fri, Feb 19 | Chap 3 “Supposing” |
| Pset 5 (or-elim) | Fri, Feb 19 | Chap 3 “Supposing” |
| Pset 6 (RAA) | Fri, Feb 26 | Chap 4 “New Proofs from Old” |
| Pset 7 (new proofs from old) | Fri, Feb 26 | Chap 4 “New Proofs from Old” |
| Pset 8 (truth tables) | Fri, Mar 5 | Chap 5 “Truth” |
| Midterm Exam | Week of Mar 8-12 | |
| Pset 10 (predicate translation) | Fri, Mar 19 | Chap 6 “Quantifying” |
| Pset 11 (proofs with UE and UI) | Fri, Mar 26 | Chap 6 “Quantifying” |
| Pset 12 (proofs with EI and EE) | Fri, Apr 2 | Chap 6 “Quantifying” |
| Pset 13 (more predicate translation) | Fri, Apr 9 | Chap 7 “Theories” |
| Pset 14 (reasoning with theories) | Fri, Apr 16 | Chap 7 “Theories” |
| Pset 15 (models) | Fri, Apr 23 | Chap 8 “Models” |
| Pset 16 (proofs about proofs) | Fri, Apr 30 | Chap 9 “A Theory about Propositional Logic” |