MAT* 287: Discrete Mathematics and Methods of Proof

4 Credits
(Formerly MATH 250)
A formal introduction to the basic concepts of modern abstract mathematics and mathematical topics related to computer science. Topics include: symbolic logic, sets and relations, recursive and inductive procedures, methods of proof, functions, cardinality, counting, graphs and trees, and discrete probability. Prerequisites: “C” or better in MAT* 256 and eligibility for ENG* 101.
Prerequisites: “C” or better in MAT* 256 and eligibility for ENG* 101 .
Offered: Spring