Discrete Mathematics

Course Aim:
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 weigh the outcomes of the course through its use in practical applications in different computer science branches
Course contents:
Propositional Logic, Predicate logic, Introduction to proofs, set theory, Functions, Sequence and Summation, Introduction to Matrices, matrix arithmetic, matrix multiplication, transpose, powers of matrices, zero one matrices, Integers, division, division algorithm, modular arithmetic, primes, GCD, LCM, Mathematical Induction, Relations: definitions, properties, combining relations, representation, equivalence relation.