| Date | Topic | Due |
|---|---|---|
| 9/27 | Introduction | |
| 9/29 | Background & History | |
| 10/2 | Introduction to Prop Logic | Read BE pp. 1-10, 19-31, 41-46 |
| 10/4 | Methods of Proof | Read BE pp.46-65 |
| 10/6 | Connectiveness | Read BE pp.67-86, 93-100 |
| 10/9 | Logical Consequences | Read BE pp.106-125 |
| 10/11 | Boolean Algebra | |
| 10/13 | Simple Circuits | |
| 10/16 | Methods of Proof II | Read BE pp.127-141 |
| Exam 1: distributed noon 10/16, due noon 10/17 | ||
| 10/18 | Proof Strategies | Read BE pp. 167-173 |
| 10/20 | Conditionals | Read BE pp. 176-190 |
| 10/23 | Quantifications I | Read BE pp. 227-251 |
| 10/25 | Logic of Quantifiers | Read BE pp. 257-283 |
| 10/27 | Multiple Quantifiers | Read BE pp. 289-307 |
| 10/30 | Proofs with Quantifiers I | Read BE pp. 319-338 |
| 11/1 | Proofs with Quantifiers II | Read BE pp. 342-36 |
| Exam 2: distributed 11/2, due noon 11/3 | ||
| 11/3 | no class | |
| 11/6 | Resolution | |
| 11/8 | Proving Real Theorems | Read Rosen pp.167-181 |
| 11/10 | Proving RealTheorems II | |
| 11/13 | Sequences and Summations | Read Rosen pp. 69-76 |
| 11/15 | Induction I | Read Rosen pp. 186-199 |
| 11/17 | Induction II | |
| 11/20 | Program Proofs | |
| Exam3: deistributed 11/20 due 11/21 | ||
| 11/22 | Recursive Definitions | Read Rosan pp. 202-209 |
| 11/27 | Recursive Algorithms | Read Rosen pp.214-218 |
| 11/29 | Combinatorics I | |
| 12/1 | Combinatorics II | |
| 12/4 | Functions | Read Rosen pp. 56-67 |
| 12/6 | Review | |
| Final: Fri., Dec. 15, 8:30 -11:30 am | ||
