Sets, relations, functions, logic and proof, the discrete-maths foundations of computer science.
What do you need?