Contenu et objectif de la matière:
- Les fondements du calcul propositionnel et du calcul des prédicats.
- Principes de bases de rédaction d'une preuve mathématique.
- Aquérir les fondements de la théorie des ensmbles.

- منشئ المقرر الدراسي, معلم: Soumia TAYEBI