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