Le cours de logique mathématique présente les bases du raisonnement logique utilisées en informatique, notamment les propositions, les connecteurs logiques, les tables de vérité et les quantificateurs. Il constitue un outil fondamental pour la programmation et les algorithmes.
- Enseignant: AHMED SAMET