Introduces the mathematical concepts from discrete structures that are directly applicable to computer science. Includes sets, functions, logic, counting and basic number theory, proofs and invariants, graphs, trees, recursion and iteration.