Introduction aux notions de logique et programmation logique
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.
[]
Leçons[]
Objectifs
ces objectifs
Les objectifs de ce cours sont :
- formalisation du raisonnement logique, rudiments de programmation logique.
ces objectifs Niveau et prérequis conseillés
ces prérequis
Cours de niveau 14. Les prérequis conseillés sont :
- mathématiques niveau Bac ;
- Algorithmique et programmation.
ces prérequis 
Voir aussi