Discrete Structures in Computing

3 credits

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.