1. To familiarize students with mathematical thinking according to new disciplines. 2. To give students axiomatic approximations. 3. Introducing proof methods and giving theorems and properties related to the use of these methods. 4. To introduce some concepts of algebraic structure. 5. To develop students' existing skills in solving problems and interpreting the solutions obtained. 6. To help students perceive abstract and difficult to understand concepts.

Symbolic logic, Propositions, Proof methods for theorems, The concept of sets, Quantification logic, Open propositions and open propositions in two variables, Algebra of sets, Finite and infinite sets, Family of sets, Decomposition and cover of sets, Relations, Relation properties, Partial order relations, Equivalence relations, Equivalence classes, Functions, Binary operations, Algebraic systems.