CP214
Discrete Structures for Computer Science
Fall 2023
Topics
- Propositional and predicate logic
- proofs
- sets, functions and relations
- induction and recursion
- counting
- discrete probability
- graphs
- trees
- Boolean algebra.
Readings
- Discrete Mathematics and Its Applications — Kenneth H. Rosen; 8th edition, 2018; McGraw Hill.
Sources
- Course catalogue ↗2026–2027
- Public syllabus copy ↗Fall 2023
- Historical syllabus; publicly readable preview.