- Enseignant: Rafaa CHOUDER
- Enseignant: Nedjib OULD MOHAMEDI
- Enseignant: Said KADRI
- Enseignant: Ali DABBA
This course aims to provide the basic notions of formal logic, mainly the syntax and semantics of propositional logic and first-order predicate logic.
- Enseignant: Noureddine CHIKOUCHE
- Enseignant: Mahmoud BRAHIMI