COMP 2501 Discrete Computational Structures I
Application of propositional logic, inference rules, theory and algebra of sets in solving problems addressed to computer science. Verification of statements through mathematical induction. Application of the theory of graphs and trees in the representation of models. Introduction to matrix theory. It requires 45 hours of conference-laboratory.
Prerequisite
MATH 1500 or MAEC 2140