Introduction to logic, methods of proof, mathematical induction. Sets, operations, on sets, cartesian product, binary relation, partition of a set, equivalence relation, equivalence classes, mappings, equivalence of sets, finite sets, countable sets, cardinal numbers, Binary operations, morphisms, Definition and examples of groups, definition and examples of rings and fields.