MA 240 Discrete Mathematics 3 cr. The mathematical foundations of computer science. Topics: logic, proof techniques, permutations, combinations, automata theory, regular expressions.