Logic, set theory, probability, and graph theory for computing.
Propositional logic, predicates, sets, functions, sequences, and intro to probability.