| Homepage | Syllabus | Schedule | Homework |
Note: Dates and topics are approximate and subject to change.
| Date | Topics | Reading |
|---|---|---|
| Week 1 | ||
| 01/14 | Introduction | Syllabus |
| 01/16 |
Propositional Logic |
|
| 01/18 |
Propositional Logic HW 1 (1.1 -- 1.5) assigned |
1.1 -- 1.5 Equivalency Checker |
| Week 2 | ||
| 01/21 | No Class: MLK Day | |
| 01/23 |
Predicates and Quantifiers Quiz 0 (1.1 -- 1.5) |
1.6 -- 1.10 |
| 01/25 |
Logical Reasoning and Rules of Inference HW 2 (1.6 -- 1.13) assigned HW 1 due Sunday |
1.11 -- 1.13 Daemon Proof Checker |
| Week 3 | ||
| 01/28 | Introduction to Proofs | 2.1 |
| 01/30 | Direct Proofs | 2.2 Daemon Proof Checker |
| 02/01 |
Proof by Contrapositive Quiz 1 (1.1 -- 1.5) HW 1 Reviews due Sunday HW 2 due Sunday |
2.3 |
| Week 4 | ||
| 02/04 |
Proof by Contradiction HW 3 (2.1 -- 2.5) assigned |
2.4 Daemon Proof Checker |
| 02/06 | Proof by Cases | 2.5 |
| 02/08 |
Quiz 2 (1.6 -- 1.13)
HW 1 Back-evaluations due Sunday HW 2 Reviews due Sunday HW 3 due Sunday |
|
| Week 5 | ||
| 02/11 |
HW 4 (TBD -- TBD) assigned |
|
|
Quiz 3 (2.1 -- 2.5)
HW 2 Back-evaluations due Sunday HW 3 Reviews due Sunday HW 4 due Sunday |
||
| Week 6 | ||
| 02/18 |
Special Guest Lecture HW 5 (TBD -- TBD) assigned |
|
|
HW 3 Back-evaluations due Sunday HW 4 Reviews due Sunday HW 5 due Sunday |
||
| Week 7 | ||
| 02/25 |
HW 6 (TBD -- TBD) assigned |
|
|
HW 4 Back-evaluations due Sunday HW 5 Reviews due Sunday HW 6 due Sunday |
||
| Week 8 | ||
| 03/04 |
HW 7 (TBD -- TBD) assigned |
|
|
HW 5 Back-evaluations due Sunday HW 6 Reviews due Sunday HW 7 due Sunday |
||
| Spring Break | ||
| 03/11 | No Class | |
| 03/13 | No Class | |
| 03/15 | No Class | |
| Week 10 | ||
| 03/18 |
HW 8 (TBD -- TBD) assigned |
|
|
HW 6 Back-evaluations due Sunday HW 7 Reviews due Sunday HW 8 due Sunday |
||
| Week 11 | ||
| 03/25 |
HW 9 (TBD -- TBD) assigned |
|
|
HW 7 Back-evaluations due Sunday HW 8 Reviews due Sunday HW 9 due Sunday |
||
| Week 12 | ||
| 04/01 |
HW 10 (TBD -- TBD) assigned |
|
|
HW 8 Back-evaluations due Sunday HW 9 Reviews due Sunday HW 10 due Sunday |
||
| Week 13 | ||
| 04/08 |
HW 11 (TBD -- TBD) assigned |
|
|
HW 9 Back-evaluations due Sunday HW 10 Reviews due Sunday HW 11 due Sunday |
||
| Week 14 | ||
| 04/15 |
HW 12 (TBD -- TBD) assigned |
|
|
HW 10 Back-evaluations due Sunday HW 11 Reviews due Sunday HW 12 due Sunday |
||
| Week 15 | ||
| 04/22 |
HW 13 (TBD -- TBD) assigned |
|
|
HW 11 Back-evaluations due Sunday HW 12 Reviews due Sunday HW 13 due Sunday |
||
| Week 16 | ||
| 04/29 | ||
| 04/30 |
HW 12 Back-evaluations due Sunday HW 13 Reviews due Sunday |
|
| Week 17 | ||
| 05/07 |
Optional Final Exam (1.1 -- 14.3)
10:30 am -- 12:30 pm ZACH 310 |
|