Mathematical basis for students of computer science. Propositional logic and proof, set theory, algebraic structures, groups and semi groups, graph theory, lattices and Boolean algebra, and finite fields.
Prerequisites
CM 210 Computer Science I with C++. Must pass prerequisite with a C (2.0) or better.