Course Code: DISC 2100
Academic Year: 2024-2025
The course provides the fundamentals in logic, proofs, sets, functions, algorithms, and mathematical reasoning. From this basis, counting techniques and discrete structures are studied. Topics such as relations, graphs, and trees are also covered.