COSC 2300 - Discrete Structures

(3L,3CR) [E] Applications in computer science of set theory, counting techniques, Boolean algebra, mapping, relations and functions, propositional logic and graphing. Additional topics include induction, proof methods, and propositional calculus.

Prerequisites: COSC 2030 and MATH 2200 or MATH 2355. (Dual listing MATH 2300.)