Dans ce cours,on présente une introduction a la logique mathématique,se rèsumant à la logique propositionnelle,puis celle des prédicats,suivie par les notions essentielles de théorie des ensembles,relations et applications,et achevée par un coup d'oeil sur le bon ordre et le raisonnement par récurrence.
Il sera inséré ,une section sur le raisonnement mathématique,avec les moyens de la logique etudiés.
- Teacher: NOUREDDINE AZZOUZA