| Homepage | Syllabus | Schedule | Homework |
| Date | Topics | Homework |
| Week 1 | ||
| 01/19 | MLK Day. No Class | |
| 01/21 | Introduction, Course Organization, Syllabus | |
| 01/23 |
Propositional Logic Is the system specification (posted on eCampus) consistent? Rosen 1.1, 1.2 |
|
| Week 2 | ||
| 01/26 |
Propositional Equivalences
Rosen 1.3 |
|
| 01/28 |
Guest Lecture by Dr. Lee
Predicate Logic Rosen 1.4, 1.5 |
|
| 01/30 |
Guest Lecture by Dr. Lee
Rules of Inference Rosen 1.6 |
Homework 1 Due |
| Week 3 | ||
| 02/02 |
Introduction to Proofs
Rosen 1.7 |
|
| 02/04 |
Proof Methods and Strategies
Rosen 1.8 |
|
| 02/06 |
Sets
Rosen 2.1, 2.2 |
Homework 2 Due |
| Week 4 | ||
| 02/09 |
Set Operations
Functions Rosen 2.2,2.3 |
|
| 02/11 |
Relations
Rosen 9.1, 9.3, 9.5, 9.6 |
|
| 02/13 |
Relations
Rosen 9.1, 9.3, 9.5, 9.6 |
Homework 3 Due |
| Week 5 | ||
| 02/16 |
Sequences, Sums, and Products
Rosen 2.4, Class Notes |
|
| 02/18 |
Sequences, Sums, and Products
Rosen 2.4, Class Notes |
|
| 02/20 | Q&A Review for Midterm Exam I | Homework 4 Due |
| Week 6 | ||
| 02/23 | Midterm Exam I | |
| 02/25 |
Algorithms
Rosen 3.1 |
|
| 02/27 |
Growth of Functions
Rosen 3.2 |
Homework 5 Due |
| Week 7 | ||
| 03/02 |
Complexity of Algorithms
Rosen 3.3 |
|
| 03/04 |
Mathematical Induction
Rosen 5.1 |
|
| 03/06 |
Strong Induction
Rosen 5.1,5.2 |
Homework 6 Due |
| Week 8 | ||
| 03/09 |
Recursion and Structural Induction
Rosen 5.3, 5.4 |
|
| 03/11 |
Recursion and Structural Induction
Rosen 5.3, 5.4 |
|
| 03/13 |
Recursive Functions
Rosen 5.4 |
Homework 7 Due |
| Week 9 | ||
| 03/16 | Spring Break. No Class. | |
| 03/18 | Spring Break. No Class. | |
| 03/20 | Spring Break. No Class. | |
| Week 10 | ||
| 03/23 |
Counting
Rosen 6.1 |
|
| 03/25 |
The Pigeon Hole Principle, Permutations and Combinations
Rosen 6.2, 6.3, 6.4 |
|
| 03/27 | Review for Midterm Exam II | Homework 8 Due |
| Week 11 | ||
| 03/30 | Midterm Exam II | |
| 04/01 |
Generalized Permutations and Combinations
Rosen 6.5, 6.6 |
|
| 04/03 | Reading Day. No Class. | |
| Week 12 | ||
| 04/06 |
Advanced Counting: Applications of Recurrence Relations
Rosen 8.1 |
Homework 9 Due |
| 04/08 |
Solving Linear Recurrence Relations
Rosen 8.2 |
|
| 04/10 |
Divide-and-Conquer Algorithms and Recurrence Relations
Rosen 8.3 |
Midterm II: Exam Corrections Due |
| Week 13 | ||
| 04/13 |
Deterministic Finite Automata
|
|
| 04/15 | Nondeterministic Finite Automata | |
| 04/17 | Regular Expressions | Homework 10 Due |
| Week 14 | ||
| 04/20 | Regular Expressions and Automata | |
| 04/22 | Context Free Grammars | |
| 04/24 |
Parsing
Pushdown Automata |
|
| Week 15 | ||
| 04/27 | Turing Machines | Homework 11 Due |
| 04/29 | Turing Machines | |
| 05/01 |
Computational Complexity, Computability and Undecidability
|
|
| Week 16 | ||
| 05/04 | Review for Final Exam | Homework 12 Due |
| 05/05 | Review for Final Exam | |
| Final Exam Week | ||
| 05/11 | Final Exam: 10:30am - 12:30pm, EABA 108 | |