A solid preparation for Calculus, with elements of Discrete Mathematics: logic, sets, functions, relations, and proofs