Lecture Schedule
Please print and bring these notes to class.
| Week | Topic | Textbook Section | Slides |
|---|---|---|---|
| 1 | Introduction, Induction | 0,1.1,1.2 | Slides Printable Slides Worksheet Worksheet Filled In |
| 2 | Complete Induction, Recurrences | 1.3, 3.1 | Worksheet |
| 3 | Recurrence Relations | 3.1, 3.2 | Same handout as last week. |
| 4 | Divide and Conquer, Well Ordering Principle, Correctness | 3.2, Ch. 1, 2.1-2.3 | W4 In Class Notes W4 Notes Well Ordering Principle |
| 5 | Program Correctness; Recursive and Iterative | 2 | Program Correctness Program Correctness - In Class Notes | 6 | Program Correctness (Iterative), Propositional Logic | 6 | Propositional Logic In Class Notes |
| 7 | Propositional Logic, Complete Connectives | 6 | In class notes. |
| 8 | Predicate Logic | 6 | Predicate
Logic In Class PDf |
| 9 | Regular Expressions | 7 | Formal Languages PDF In Class PDf |
| 11 | Intro to Finite State Machines, Regular Languages | 7 | In Class PDF |
| 12 | Pumping Lemma | 7 | PDF In Class NFA |