- Teacher: Rafaa CHOUDER
- Teacher: Said KADRI
- Teacher: 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.
- Teacher: Noureddine CHIKOUCHE
- Teacher: Mahmoud BRAHIMI