MATH 2550 - Discrete Structures for Computer Science and Mathematics

Symbolic logic is utilized to develop the skill of theorem proving using: mathematical induction, recurrence relations, computer program correctness, set theory, and introduction to networks/graphs. Prerequisite(s): Grade of “C” or better in MATH 1070/MATH 1070H. (3)