Cours 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.
Cours 1:
-------------------------------------------------------------------------
Télécharger PDF 1: Cours1 Logique Mathématique : ICI
-------------------------------------------------------------------------
Cours 2:
-------------------------------------------------------------------------
Télécharger PDF 1: Chapitre1 Logique Mathématique : ICI
-------------------------------------------------------------------------
Télécharger PDF 2: Chapitre2 Logique Mathématique : ICI
-------------------------------------------------------------------------
Télécharger PDF 3: Chapitre3 Logique Mathématique : ICI
-------------------------------------------------------------------------
Cours 3:
-------------------------------------------------------------------------
Télécharger PDF 1: Cours3 Logique Mathématique : ICI
-------------------------------------------------------------------------
Cours en Arabe:
---------------------------------------------------------------------
Télécharger PDF 1: Cours Logique Mathématique : ICI
---------------------------------------------------------------------
Voire Aussi:
Résumé Logique Mathématique : ICI
Examens Corrigés Logique Mathématique : ICI
Exercices Corrigés Logique Mathématique : ICI