Lecture |
Date |
Topic |
Reading |
PPT Slides |
PDF Slides |
Beame Inked |
Lee Inked |
Lecture 1 | Wed, Sep 25 | Logic |
1.1, 1.2 (7th) 1.1 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 2 | Fri, Sep 27 | Logic |
1.1-1.3 (7th) 1.1-1.2 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 3 | Mon, Sep 30 | Logic/Boolean Algebra |
12.1-12.3 (7th) 11.1-11.3 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 4 | Wed, Oct 2 | Boolean Algebra/Circuits |
12.1-12.3 (7th) 11.1-11.3 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 5 | Fri, Oct 4 | Predicate Logic |
1.4-1.5 (7th) 1.3-1.4 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 6 | Mon, Oct 7 | Predicate Logic, Inference |
1.6-1.7 (7th) 1.5-1.7 (6th) |
PPT |
PDF |
HTML |
No ink :( |
Lecture 7 | Wed, Oct 9 | Logical Inference and Proofs |
1.6-1.7 (7th) 1.5-1.7 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 8 | Fri, Oct 11 | Proofs and Set Theory |
2.1-2.3 (6th,7th) |
PPT |
PDF |
No Ink |
HTML |
Lecture 9 | Mon, Oct 14 | Set Theory |
2.1-2.3 (6th, 7th) |
PPT |
PDF |
HTML |
HTML |
Lecture 10 | Wed, Oct 16 | Functions,Modular Arithmetic |
4.1-4.2 (7th) 3.4-3.5 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 11 | Fri, Oct 18 | Applications of Mod, Number Theory |
4.1-4.3 (7th) 3.4-3.6 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 12 | Mon, Oct 21 | Factoring, GCD, Euclid's Algorithm |
4.3-4.4 (7th), 3.5-3.7 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 13 | Wed, Oct 23 | Induction |
5.1 (7th), 4.1 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 14 | Fri, Oct 25 | Induction and Strong Induction |
5.1-5.2 (7th), 4.1-4.2 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 15 | Mon, Oct 28 | Strong Induction and Recursion |
5.2-5.3 (7th), 4.2-4.3 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 16 | Wed, Oct 30 | Recursively Defined Sets |
5.3 (7th), 4.3 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 17 | Fri, Nov 1 | Structural Induction |
5.3 (7th), 4.3 (6th) |
PPT |
PDF |
HTML |
HTML |
Midterm | Mon, Nov 4 | Midterm |
Midterm |
Midterm |
Midterm |
Midterm |
Midterm |
Lecture 18 | Wed, Nov 6 | Regular Expressions |
pp.878-880 (7th) pp. 817-819 (6th) |
PPT |
PDF |
HTML |
censored |
Lecture 19 | Fri, Nov 8 | Context-Free Grammars |
pp. 851-855 (7th) pp. 789-793 (6th) |
PPT |
PDF |
HTML |
|
Holiday | Mon, Nov 11 | Veterans Day |
Holiday
|
Holiday |
Holiday |
Holiday |
|
Lecture 20 | Wed, Nov 13 | Context-Free Grammars/Relations |
9.1 and pp. 594-601 (7th), 8.1 and pp. 541-548 |
PPT |
PDF |
HTML |
HTML |
Lecture 21 | Fri, Nov 15 | Relations |
9.1 and pp. 594-601 (7th), 8.1 and pp. 541-548 |
PPT |
PDF |
HTML |
HTML |
Lecture 22 | Mon, Nov 18 | Finite State Machines |
13.3-13.4 (7th), 12.3-12.4 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 23 | Wed, Nov 20 | FSMs with Output, Minimization |
13.3-13.4 (7th), 12.3-12.4 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 24 | Fri, Nov 22 | NFAs,RegExp, NFAs to DFAs |
13.4 (7th), 12.4 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 25 | Mon, Nov 25 | Limits of FSMs, Pattern Matching |
2.5 + p. 201 (7th) p, 158-160, 177 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 26 | Wed, Nov 27 | Pattern Matching, Cardinality |
p.201 + 13.5 (7th) p.177 + 12.5 (6th) |
PPT |
PDF |
HTML |
|
Holiday | Fri, Nov 29 | Thanksgiving |
Holiday |
Holiday |
Holiday |
Holiday |
Holiday |
Lecture 27 | Mon, Dec 2 | Turing Machines, Halting Problem |
p.201 + 13.5 (7th) p.177 + 12.5 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 28 | Wed, Dec 4 | Undecidability |
p.201 + 13.5 (7th) p.177 + 12.5 (6th) |
PPT |
PDF |
HTML |
HTML |
Lecture 29 | Fri, Dec 6 | Computability Wrap-up, course summary |
p.201 + 13.5 (7th) p.177 + 12.5 (6th) |
PPT |
PDF |
|
|
Lecture XX | | Fun with RSA |
|
|
|
|
|