| 1 | Know symbolic logic and proving methods and make different proof applications. |
| 2 | Understand set, algebra of sets, families of sets and partitions of families of sets, set products, make different applications and prove their theorems. |
| 3 | Understand relations, inverse and composition of relations and make different applications. |
| 4 | Define equivalence and ordering relations and explain some basic concepts such as partially ordered set, totally ordered set and sample them. |
| 5 | Know the concept of function which is a special relation, as well as some special concepts such as one to one, surjective and bijective functions and prove their theorems. |
| 6 | Understand combinaton of functions and inverse of fuctions, make different applications. |
| 7 | Explain and provide examples of countable and uncountable sets. Understand the construction of natural numbers and integers. |