Logique Mathématique
Ce présent document se veut un support de cours pour les étudiants de la 1 re année PES (Professeur d'enseignement Secondaire) à l'École Normale Supérieure . Néanmoins, il décrit aucune spécificité propre à l'environnement informatique de l'ENSO et pourra s'avérer utile à tout étudiant désirant apprendre les bases de la logique mathématique.
Ce document n'est pas exhaustif et survole les notions de base de la logique qui sont généralement les plus utiles. La structure et le contenu des chapitres de ce document sont synchronisés avec le nouveau contenu du programme établi dans le canevas de la formation.
Il est organisé au tour de trois (03) chapitres et trois (03) annexes.
Le premier chapitre intitulé Notions de base de la logique mathématique introduit les notions fondamentales de la logique mathématique qui s'avèrent indispensables aux chapitres suivants.
Le deuxième chapitre appelé Logique propositionnelle (d'ordre 0) ou Calcul propositionnel est la première étape dans la construction du calcul des prédicats. Il permet de définir les règles de déduction qui relient les propositions entre elles, sans en examiner le contenu.
Le troisième chapitre aborde la notion de Logique des prédicats (d'ordre 1). La logique du premier ordre est considérée par nature plus expressive que la logique des propositions, et permet de représenter des connaissances relatifs à des environnements complexes. Elle est construite à partir de la logique propositionnelle et s'inspire du langage naturel.
1.Cours:
----------------------------------------------------------------
Télécharger Chapitre1 Logique Mathématique : ICI ----------------------------------------------------------------
Télécharger Chapitre2 Logique Mathématique : ICI ----------------------------------------------------------------
Télécharger Chapitre3 Logique Mathématique : ICI ----------------------------------------------------------------
2.Cours:
------------------------------------------------------------
Télécharger Cours3 Logique Mathématique : ICI ------------------------------------------------------------
3.Résumé:
---------------------------------------------------------------
Télécharger Résumé1 Logique Mathématique : ICI ---------------------------------------------------------------
Télécharger Résumé2 Logique Mathématique : ICI ---------------------------------------------------------------
4.Exercices Corrigés:
--------------------------------------------------------
Télécharger TD1 Logique Mathématique : TD1-CORR --------------------------------------------------------
Télécharger TD2 Logique Mathématique : TD2-CORR --------------------------------------------------------
Télécharger TD3 Logique Mathématique : TD3-CORR --------------------------------------------------------
Télécharger TD4 Logique Mathématique : TD4-CORR --------------------------------------------------------
5.Exercices Corrigés:
--------------------------------------------------------
Télécharger TD1 Logique Mathématique : TD1-CORR --------------------------------------------------------
Télécharger TD2 Logique Mathématique : TD2-CORR --------------------------------------------------------
Télécharger TD3 Logique Mathématique : TD3-CORR --------------------------------------------------------
Télécharger TD4 Logique Mathématique : TD4-CORR --------------------------------------------------------
Télécharger TD5 Logique Mathématique : TD5-CORR --------------------------------------------------------
6.Examens Corrigés:
---------------------------------------------------------------
Télécharger Examen1 Logique Mathématique : ICI ---------------------------------------------------------------
Télécharger Examen2 Logique Mathématique : ICI ---------------------------------------------------------------
Télécharger Examen3 Logique Mathématique : ICI ---------------------------------------------------------------
Télécharger Examen4 Logique Mathématique : ICI ---------------------------------------------------------------
Télécharger Examen5 Logique Mathématique : ICI ---------------------------------------------------------------
