Lecture |
Date |
Topic |
Reading |
PPT Slides |
PDF Slides |
Lecture 1 | Wed, Sept 28 | Logic |
1.1, 1.2 (7th) |
PPT |
PDF |
Lecture 2 | Fri, Sept 30 | Logic |
1.2, 1.3 (7th) |
PPT |
PDF |
Lecture 3 | Mon, Oct 3 | Logic |
1.3, 1.4 (7th) |
PPT |
PDF |
Lecture 4 | Wed, Oct 5 | Boolean Algebra |
12.1, 12.2, 12.3 (7th) |
PPT |
PDF |
Lecture 5 | Fri, Oct 7 | Predicates and quantifers |
1.4, 1.5 (7th) |
PPT |
PDF |
Lecture 6 | Mon, Oct 10 | More Predicate Logic |
1.4, 1.5 (7th) |
PPT |
PDF |
Lecture 7 | Wed, Oct 12 | Logical Inference |
1.6 (7th) |
PPT |
PDF |
Lecture 8 | Fri, Oct 14 | Logical Inference |
1.7 (7th) |
PPT |
PDF |
Lecture 9 | Mon, Oct 17 | Sets and Functions |
2.1, 2.2, 2.3 (7th) |
PPT |
PDF |
Lecture 10 | Wed, Oct 19 | Modular Arithmetic |
4.1, 4.2 (7th) |
PPT |
PDF |
Lecture 11 | Fri, Oct 21 | Primes |
4.3 (7th) |
PPT |
PDF |
Lecture 12 | Mon, Oct 24 | GCD and Inverses |
4.3 (7th) |
PPT |
PDF |
Lecture 13 | Wed, Oct 26 | Induction |
5.1, 5.2 (7th) |
PPT |
PDF |
Lecture 14 | Fri, Oct 28 | Strong Induction and Recursion |
5.2, 5.3 (7th) |
PPT |
PDF |
Lecture 15 | Mon, Oct 31 | Recursion and Structural Induction |
5.3 (7th) |
PPT |
PDF |
Lecture 16 | Wed, Nov 2 | Structural Induction |
5.3 (7th) |
PPT |
PDF |
Midterm | Fri, Nov 4 | |
|
|
|
Lecture 17 | Mon, Nov 7 | Induction, Regular Expressions |
5.3 and pages 878-880 (7th) |
PPT |
PDF |
Lecture 18 | Wed, Nov 9 | Context-Free Grammars |
Pages 851-855, 878-880 (7th) |
PPT |
PDF |
Veterans Day | Fri, Nov 11 | |
|
|
|
Lecture 19 | Mon, Nov 14 | Relations, Directed Graphs |
9.1 and pp. 594-601(7th) |
PPT |
PDF |
Lecture 20 | Wed, Nov 16 | Directed Graphs, Finite State Machines |
9.3 and 13.3(7th) |
PPT |
PDF |
Lecture 21 | Fri, Nov 18 | Finite State Machines |
13.3(7th) |
PPT |
PDF |
Lecture 22 | Mon, Nov 21 | FSM: MInimization |
13.3 (7th) |
PPT |
PDF |
Lecture 23 | Wed, Nov 23 | NFAs, DFAs, and Regular Expressions |
13.3, 13.4 (7th) |
PPT |
PDF |
Thanksgiving | Fri, Nov 25 | |
|
|
|
Lecture 24 | Mon, Nov 28 | Limits of FSMs, Pattern Matching |
|
PPT |
PDF |
Lecture 25 | Wed, Nov 30 | Circuits for FSMs and Addition |
|
PPT |
PDF |
Lecture 26 | Fri, Dec 2 | Countability & Computability |
2.5 (7th) |
PPT |
PDF |
Lecture 27 | Mon, Dec 5 | Turing Machines & Halting Problem |
13.5 + p. 201 (7th) |
PPT |
PDF |
Lecture 28 | Wed, Dec 7 | Computability Theory |
p. 201 (7th) |
PPT |
PDF |
Lecture 29 | Fri, Dec 9 | Course summary |
|
PPT |
PDF |
Lecture XX | ?? | RSA |
|
PPT |
PDF |