MA 240 Discrete Mathematics 4 cr.

The mathematical foundations of computer science. Topics: logic, proof techniques, permutations, combinations, automata theory, regular expressions.