All reading assignments refer to the Zyante text. Unless otherwise stated, each reading assignment is due by 2PM on the day indicated.
Week | Dates | Quizes | Homework | Topics | Reading | Board Notes |
---|---|---|---|---|---|---|
Week 0 | Sept 25 | - | - | Course logistics | - | Slides |
Week 1 | Sept 28-Oct 2 | - |
HW 1 Due Oct 7 Solutions |
Propositional Logic |
Mon: 1.1, 1.2 Wed: 1.3, 1.4 Fri: 1.5, 1.6 |
Mon Wed Fri |
Week 2 | Oct 5-9 | - |
HW 2 Due Oct 14 Solutions |
Quanitfiers Logical reasoning |
Mon: 1.7 - 1.9 Wed: 1.10, 1.11 Fri: 1.12 Chapter 1 reading Due 2PM Oct 12 |
Mon Wed Fri |
Week 3 | Oct 12-16 |
Test 1 Oct 12 on Sections 1.1-1.6 |
HW 3 Due Oct 21 Solutions |
Proofs |
Wed: 2.1-2.3 Fri: 2.4, 2.5 |
Wed Fri, part 1 Fri, part 2 |
Week 4 | Oct 19-23 | - |
HW 4 Due Oct 28 Solutions |
Sets Functions |
Mon: 3.1-3.3 Wed: 3.4-3.6 Fri: 4.1-4.3 |
Mon Wed Fri |
Week 5 | Oct 26-30 |
Test 2 Mon Oct 26 on Sections 1.7-1.12 Sections 2.1-2.5 |
HW 5 Nov 4 Solutions |
Functions, cont. Binary Relations |
Wed: 4.4-4.5 Fri: 6.1-6.2 |
Wed Fri |
Week 6 | Nov 2-6 | - |
HW 6 Due Fri Nov 13 Solutions |
Binary Relns. Directed Graphs Matrix mult. Partial Orders Strict Orders Equiv. Relns. |
Mon: 6.3-6.4 Wed: 6.5-6.6 Fri: 6.7-6.9 |
Mon Wed Fri |
Week 7 |
Nov 9-13 No class Wed Nov 11 |
Test 3 Mon Nov 9 on Sections 3.1-3.6 Sections 4.1-4.5 Sections 6.1-6.2 Test 3 Solutions |
HW 7 Due Nov 18 Solutions |
N-ary relations | Fri: 6.10 | Fri Section 6.10 Examples |
Week 8 | Nov 16-20 | - |
HW 8 Due Nov 25 Solutions |
Boolean Algebra Boolean Circuits |
Mon: 5.1-5.3 Wed: 5.4-5.5 Fri: 5.6 |
Mon Wed Fri |
Week 9 |
Nov 23-25 No class Fri Nov 29 |
Test 4 Mon Nov 23 on Sections 6.3-6.10 |
HW 9 Due Dec 2 Solutions |
Finite state machines | Wed: 7.4 | Wed |
Week 10 | Nov 30-Dec4 | - | - |
Turing machines Review |
Mon: 7.5, 7.6 Wed: no new reading Fri: no new reading |
Mon Wed Fri |
Finals Week | Dec 7-11 |
Final Exam Friday, Dec 11 1:30-3:30PM PSLH 100 |
- | - | - | - |