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