|
Nov 21, 2024
|
|
|
|
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(s): Grade of “C” or better in MATH 2550 (3)
Add to Portfolio (opens a new window)
|
|