COSC_O 221 (3) Discrete Structures in Computing
Discrete structures in computing and relevant mathematical techniques. Logic and applications in automated reasoning and programming; proof techniques and analysis of algorithms and computation models; graph theory and graph models in computing; counting principles and discrete probability. [3-0-1] Prerequisite: One of MATH 101, MATH 103, MATH 142, APSC 173. Corequisite: COSC 121.