Leçons de niveau 14

Introduction aux notions de logique et programmation logique

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche
Introduction aux notions de logique et programmation logique

Ce cours aborde les points suivants :

  • fonctions booléennes: formes normales, diagrammes, simplification ;
  • ensembles dénombrables, ensembles récursifs, récursivement énumérables ;
  • mots et grammaires, systèmes formels ;
  • calcul propositionnel : axiomatique, déductions, interprétation, tautologies, satisfiabilité ;
  • résolution sans variable ;
  • calcul des prédicats: axiomatique, interprétation, mise en forme de formules ;
  • élimination des quantificateurs, unification, résolution ;
  • langage Prolog: faits, règles, fonctionnement de l'interprète, coupure, négation.
Objectifs

Les objectifs de ce cours sont :

  • formalisation du raisonnement logique, rudiments de programmation logique.

image logo modifier ces objectifs.
Niveau et prérequis conseillés

Ce cours est de niveau 14. Les prérequis conseillés sont :


Image logo modifier ces prérequis.
Référents

Ces contributeurs sont prêts à vous aider concernant ce cours :


Image logo modifier les référents.