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