| Homepage | Syllabus | Schedule | Homework |
Homeworks will be posted here once they are assigned.
Solutions are posted on eCampus.
| Number | Topic | Due |
| 1 |
Logic (.tex) (.pdf) |
01/30 |
| 2 | Rules of Inference and Proof Techniques (.tex) (.pdf) | 02/06 |
| 3 |
Sets and Functions (.tex) (.pdf) |
02/13 |
| 4 |
Relations (.tex) (.pdf) |
02/20 |
| 5 |
Sequences, Sums, and Products
(.tex) (.pdf) |
02/27 |
| 6 |
Algorithms
(.tex) (.pdf) Extra Credit: Algorithms, Test Data (this is how the input will be formatted) |
03/06 |
| 7 |
Induction
(.tex) (.pdf) |
03/13 |
| 8 |
Structural Induction and Recursion
(.tex) (.pdf) |
03/27 |
| 9 |
Counting, Pigeonhole Principle, Permutations and Combinations
(.tex) (.pdf) |
04/06 |
| Midterm II: Exam Corrections | 04/10 | |
| 10 | Advanced Counting: Recurrence Relations and Divide and Conquer (.tex) (.pdf) | 04/17 |
| 11 |
Finite Automata and Regular Languages
(.tex) (.pdf) |
04/27 |
| 12 |
Context-Free Languages and Pushdown Automata
(.tex) (.pdf) |
05/04 |