Introduces sets, functions, propositional and predicate calculus, basic combinatorics and probability.