| Wk |
Day |
Date |
Topic | Resources | Events |
|
| 2 | Mon | Jan 13 | Predicates and Quantifiers | AIDMA 1.3 | HW 1 due
1.3 RQs due
1.3 Exercises due |
|
|
| Wed | Jan 15 | Normal Forms | AIDMA 1.4 | HW 2 due
1.4 RQs due
1.4 Exercises due |
|
|
| Fri | Jan 17 | Finishing Logic | | HW 3 due |
|
| 3 | Mon | Jan 20 | Sets | AIDMA 3.1-3.1.2 (Not 3.1.3) | HW 4 due
RQs/Exercises continue to be due! |
|
|
| Wed | Jan 22 | Mod, GCD, Rounding | AIDMA 3.2 | Do RQs/Exercises! |
|
|
| Fri | Jan 24 | Functions | AIDMA 3.3-3.3.1 (Not 3.3.2) | HW 5 due
No more reminders, but RQs/Exercises continue to be due! |