- Teacher: abdelhadi Latrous
- Teacher: Abdesselem KALI
- Teacher: Omar Boukadoum
Formalisation du raisonnement humain
Calcul propositionnel
Calcul des prédicats
- Teacher: Djamel Bahloul
Formalisation du raisonnement humain
Calcul propositionnel
Calcul des prédicats