Discrete Mathematics

The course provides an overview of the branch of mathematics commonly known as discrete mathematics. It covers the mathematical topics most directly related to computer science: Propositional logic, Logic Gates; Algebra and operation of Sets, Relations, Functions and Proofs; Applications of Graph Theory; Trees Applications. Emphasis will be placed on providing a context for the application of the mathematics within computer science such as Digital Logic, Software Engineering, AI, Cryptography etc.