|
|
Schedule for weeks 1 through 2 |
| Wk |
Day |
Date |
Topic | Resources | Events |
|
| 1 | Mon | Jan 12 | Course Introduction Problem Solving | AIDM 0
Assignment 0 | | |
|
| Wed | Jan 14 | Propositional Logic | AIDM 1.1 | | |
|
| Fri | Jan 16 | Propositional Equivalences | AIDM 1.2 | Quiz 1 (1.1) |
|
| 2 | Mon | Jan 19 | Predicates and Quantifiers | AIDM 1.3 | HW 1 due | |
|
| Wed | Jan 21 | Normal Forms | AIDM 1.4 | HW 2 due | |
|
| Fri | Jan 23 | Direct Proofs, Implications | AIDM 2.1-2.2 | Quiz 2 (1.3-1.4) |
|
|
|