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 d'Oran (E.N.S.O) 1 . 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.
Exercices Corrigés 1:
------------------------------------------------------------------
------------------------------------------------------------------
------------------------------------------------------------------
------------------------------------------------------------------
------------------------------------------------------------------
Exercices Corrigés 2:
------------------------------------------------------------------
------------------------------------------------------------------
------------------------------------------------------------------
------------------------------------------------------------------
------------------------------------------------------------------
------------------------------------------------------------------
Exercices Corrigés 3:
------------------------------------------------------------------
------------------------------------------------------------------
------------------------------------------------------------------
------------------------------------------------------------------
Commentaires
Enregistrer un commentaire