Boolean operators. Power sets. Set theoretical treatment of relations and functions. Order isomorphism. Mathematical induction. Combinatorics: permutations, dispositions, combinations. Algebraic structures. Group theory. Groups of Permutations. Normal subgroups. Lagrange's theorem. Euler's theorem. Omomorphism theorem. Cayley's theorem.