Presents propositional logic, combinatorics, methods of proof, mathematical systems, algebra of sets, matrix algebra, relations and functions, recursion and generating functions, applications to ...

This module consists of two parts and each one is of fundamental importance for any serious approach to Computer Science: Logic and Discrete Structures ... (general notions of computability). Discrete ...