Department: BSc Computer Science
Module Description: Introduces the foundations of discrete mathematics as they apply to computer science, focusing on providing a solid theoretical foundation for further work. Topics include functions, relations, sets, simple proof techniques, Boolean algebra, propositional logic, digital logic, elementary number theory, and the fundamentals of counting.
Rosen. K. H. (2020). Discrete mathematics and its applications. 8th ed. McGraw Hill.