MATH 2560 - Discrete Structures for Computer Science and Mathematics II

Symbolic logic is utilized to develop the skill of theorem proving using: relations, functions, injections, surjections, images and inverse images, cardinality, introduction to algebraic structures. Prerequisite: Grade of “C” or better in MATH 2550 (3, Sp)