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.
[ ]
![Image logo indiquant les ressources](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d2/Postscript-viewer.svg/45px-Postscript-viewer.svg.png)
Cette notion préliminaire d'informatique vous aidera à bien maitriser les élements basics et les outils utilisés en informatique.
[
] Objectifs
ces objectifs
Les objectifs de ce cours sont :
- formalisation du raisonnement logique, rudiments de programmation logique.
![image logo](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Question_book-2.svg/24px-Question_book-2.svg.png)
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.
![Image logo](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Question_book-2.svg/24px-Question_book-2.svg.png)
![Image logo indiquant les ressources](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3f/Sciences_humaines.svg/45px-Sciences_humaines.svg.png)