Introduction to formal structures and mathematical reasoning. Graphs, sets, logic, induction, structure of mathematical proof, counting, relations, and algebraic structures.