All reading assignments refer to the Zyante text
| Week | Dates | Quizes | Homework | Topics | Reading | Board Notes |
|---|---|---|---|---|---|---|
| Week 1 | Jan 5-9 | - |
HW 1 Due Jan 14 HW1 Solutions |
Propositional Logic Logical operators |
Mon: Course info Wed: 1.1, 1.2 Fri: 1.3 |
Mon slides Wed Fri |
| Week 2 | Jan 12-16 | - |
HW 2 Due Jan 21 HW2 Solutions |
Logical equivalence Quanitfiers |
Mon: 1.4 Wed: 1.5 Fri: 1.6 |
Mon Wed Fri |
| Week 3 |
Jan 19-23 No class Mon Jan 19 |
Wed Jan 21 Quiz 1 on HW 1 |
HW 3 Due Jan 28 HW3 Solutions |
Logical reasoning Proofs |
Wed: 1.7 Fri: 1.8 |
Wed Fri |
| Week 4 | Jan 26-30 |
Mon Jan 26 Quiz 2 on HW 2 |
HW 4 Due Feb 4 HW4 Solutions |
Proofs, cont. Sets |
Mon: 1.9 Wed: 1.10-1.11 Fri: 2.1-2.2, 2.4 |
Mon Wed Fri |
| Week 5 | Feb 2-6 |
Mon Feb 2 Quiz 3 on HW 3 |
HW 5 HW5 Solutions Due Feb 11 |
Functions Boolean Algebra Intro |
Mon: 2.3 Wed: 3.1 Fri: 3.2-3.3 |
Mon Wed Fri |
| Week 6 | Feb 9-13 |
Mon Feb 9 Quiz 4 on HW 4 Solutions |
HW 6 Due Feb 18 HW6 Solutions |
Boolean functions Boolean circuits |
Mon: 4.1-4.2 Wed: 4.3-4.4 Fri: 4.5 |
Mon Wed Fri |
| Week 7 |
Feb 16-20 No class Mon Feb 16 |
Wed Feb 18 Quiz 5 on HW 5 Solutions |
HW 7 Due Feb 25 HW7 Solutions |
Binary relations Directed graphs |
Wed: 5.1 Fri: 5.2 |
Wed Fri |
| Week 8 | Feb 23-27 |
Mon Feb 23 Quiz 6 on HW 6 |
HW 8 Due Mar 4 HW8 Solutions |
Transitive closure Matrix multiplication Partial orders Strict orders |
Mon: 5.3 Wed: Notes Fri: 5.4-5.5 |
Mon Wed Fri |
| Week 9 | March 2-6 |
Mon March 2 Quiz 7 on HW 7 Solutions |
HW 9 Due Mar 11 HW9 Solutions |
Equivalence relations N-ary relations Finite State Automata Turing Machines |
Mon: 5.6 and 5.7 Wed: 6.4 Fri: 6.5 |
5.7 Examples Mon Wed Fri |
| Week 10 | March 9-13 |
Mon March 9 Quiz 8 on HW 8 Solutions |
- |
Turing Machines, cont. Review |
- | Mon Wed Fri |
| Finals | March 16-20 |
Final Exam Friday, March 20 1:30-3:30PM |
- | - | - | - |