- Introduction
- Propositional Logic
- Predicate Logic
- Inference Rules
- Proofs
- Sets, functions, Sequences and Summations
- Cardinality and Algorithms
- Growth Orders, Complexity and Recitation
- Midterm
- Number Theory and it's applications
- Mathematical Induction
- Recursion and Combinatorics
- Recurrences and Relations
- Graphs
Course textbook (Discrete Mathematics and its Applications by Kenneth H. Rosen) is provided in .zip file format