Course Code: DISC 2100
Academic Year: 2025-2026
An introduction to logic, proof techniques, mathematical induction, sets, functions, algorithms, number theory, counting, and graph theory.