- Enseignant: abdelhadi Latrous
- Enseignant: Imène Ait Abderrahim
- Enseignant: abdelhadi Latrous
- Enseignant: Abdesselem KALI
- Enseignant: Omar Boukadoum
Formalisation du raisonnement humain
Calcul propositionnel
Calcul des prédicats
- Enseignant: Djamel Bahloul