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. Groups of homomorphisms. Direct and interbal products. Rings, ideals of rings, the fundamental theorem of homomorphism, polynomial rings, fields, algebraic and transcendental extensions, algebraically closed fields, lattices, atoms, ideals of lattices, Boolean algebras and Boolean rings.