CS2531 — Discrete Structures
Introduction to mathematical foundations for computer science; sets, relations, functions, propositional logic, quantified statements, proof methods, including mathematical induction, countability. pre-req: Math 1296 or instructor consent; a grade of C- or better is required in all prerequisite courses