Discrete Mathematics

This course aims to study propositional and predicate logic and their applications in Computer Science, get students acquainted with mathematical thinking, learn methods of proving theorems in Computer Science, study and implement graph algorithms, and weight the outcomes of the course through its use in practical applications in different computer science branches