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)