Set theory, functions, relations, mathematical logic, matrices, and determinants for computer science applications.