| Lecture |
Date |
Topic |
Reading |
Before (PPTX) |
Before (PDF) |
Filled (PDF) |
Inked (HTML) |
| Lecture 1 | Wed, Sep 24 | Logic |
1.1, 1.2 (7th) 1.1 (6th) |
PPTX |
PDF |
PDF |
HTML |
| Lecture 2 | Fri, Sep 26 | Logic |
1.1-1.3 (7th) 1.1-1.2 (6th) |
PPTX |
PDF |
PDF |
Not today |
| Lecture 3 | Mon, Sep 29 | Logic/Boolean Algebra |
12.1-12.3 (7th) 11.1-11.3 (6th) |
PPTX |
PDF |
PDF |
HTML |
| Lecture 4 | Wed, Oct 1 | Boolean Algebra/Circuits |
12.1-12.3 (7th) 11.1-11.3 (6th) |
PPTX |
PDF |
PDF |
HTML |
| Lecture 5 | Fri, Oct 3 | Predicate Logic |
1.4-1.5 (7th) 1.3-1.4 (6th) |
PPTX |
PDF |
PDF |
HTML |
| Lecture 6 | Mon, Oct 6 | Predicate Logic, Inference |
1.6-1.7 (7th) 1.5-1.7 (6th) |
PPTX |
PDF |
PDF |
HTML |
| Lecture 7 | Wed, Oct 8 | Logical Inference and Proofs |
1.6-1.7 (7th) 1.5-1.7 (6th) |
PPTX |
PDF |
PDF |
HTML |
| Lecture 8 | Fri, Oct 10 | More Proofs |
1.6-1.7 (7th) 1.5-1.7 (6th) |
PPTX |
PDF |
PDF |
HTML |
| Lecture 9 | Mon, Oct 13 | Set Theory |
2.1-2.3 (6th, 7th) |
PPTX |
PDF |
PDF |
HTML |
| Lecture 10 | Wed, Oct 15 | Modular Arithmetic |
4.1-4.2 (7th) 3.4-3.5 (6th) |
PPTX |
PDF |
PDF |
None. |
| Lecture 11 | Fri, Oct 17 | Applications of Mod, Number Theory |
4.1-4.3 (7th) 3.4-3.6 (6th) |
PPTX |
PDF |
PDF |
HTML |
| Lecture 12 | Mon, Oct 20 | Factoring, GCD, Euclid's Algorithm |
4.3-4.4 (7th), 3.5-3.7 (6th) |
PPTX |
PDF |
PDF |
None. |
| Lecture 13 | Wed, Oct 22 | Modular Equations, Induction |
4.4,5.1 (7th), 3.7,4.1 (6th) |
PPTX |
PDF |
PDF |
HTML |
| Lecture 14 | Fri, Oct 24 | Induction |
5.1 (7th), 4.1 (6th) |
PPTX |
PDF |
PDF |
HTML |
| Lecture 15 | Mon, Oct 27 | Strong Induction and Recursion |
5.2-5.3 (7th), 4.2-4.3 (6th) |
PPTX |
PDF |
PDF |
None. |
| Lecture 16 | Wed, Oct 29 | Recursively Defined Sets |
5.3 (7th), 4.3 (6th) |
PPTX |
PDF |
PDF |
HTML |
| Lecture 17 | Fri, Oct 31 | Structural Induction |
5.3 (7th), 4.3 (6th) |
PPTX |
PDF |
PDF |
HTML |
| Midterm | Mon, Nov 3 | Midterm |
Midterm |
Midterm |
Midterm |
Midterm |
Midterm |
| Lecture 18 | Wed, Nov 5 | Structural Induction, Regular Expressions |
pp.878-880 (7th) pp. 817-819 (6th) |
PPTX |
PDF |
PDF |
HTML |
| Lecture 19 | Fri, Nov 7 | Context-Free Grammars |
|
PPTX |
PDF |
PDF |
HTML |
| Lecture 20 | Mon, Nov 10 | Relations, Directed Graphs |
9.1 and pp. 594-601 (7th), 8.1 and pp. 541-548 (6th)
|
PPTX |
PDF |
PDF |
HTML |
| Lecture 21 | Wed, Nov 12 | Finite State Machines |
|
PPTX |
PDF |
PDF |
HTML |
| Lecture 22 | Fri, Nov 14 | FSMs with Output |
|
PPTX |
PDF |
PDF |
HTML |
| Lecture 23 | Mon, Nov 17 | Minimization, NFAs |
|
PPTX |
PDF |
PDF |
HTML |
| Lecture 24 | Wed, Nov 19 | NFAs, RegExp, NFAs to DFAs |
|
PPTX |
PDF |
PDF |
HTML |
| Lecture 25 | Fri, Nov 21 | Limits of FSMs, NFA->RegExp |
|
PPTX |
PDF |
PDF |
HTML |
| Lecture 26 | Mon, Nov 24 | Pattern Matching, Halting Problem |
|
PPTX |
PDF |
PDF |
HTML |
| Lecture 27 | Wed, Nov 26 | Cardinality |
p.201 + 13.5 (7th) p.177 + 12.5 (6th) |
PPTX |
PDF |
PDF |
HTML |
| Holiday | Fri, Nov 28 | Thanksgiving |
Holiday |
Holiday |
Holiday |
Holiday |
Holiday |
| Lecture 28 | Mon, Dec 1 | Undecidability |
|
PPTX |
PDF |
PDF |
HTML |
| Lecture 29 | Wed, Dec 3 | Turing Machines |
|
PPTX |
PDF |
PDF |
HTML |
| Lecture 30 | Fri, Dec 5 | TBA |
|
PPTX |
PDF |
PDF |
HTML |