Ce cours propose une introduction à la logique mathématique accessible aux étudiants de 2 éme année mathématique, Il aborde les techniques fondamentales de la logique propositionnelle dite d'ordre 0 et la logique des prédicats du premier ordre. Ce dernier propose une série d'exercices résolus qui conduisent l'étudiant à une connaissance approfondie des notions de base de la logique.
- Enseignant: Chaimaa Bouchama