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.
- Créateur de cours, Enseignant: Soumia TAYEBI