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.
[modifier]
![Image logo indiquant les ressources](../I/Postscript-viewer.svg.png.webp)
[]
Objectifs
![image logo](../I/Question_book-2.svg.png.webp)
modifier ces objectifs.
Les objectifs de ce cours sont :
- formalisation du raisonnement logique, rudiments de programmation logique.
![image logo](../I/Question_book-2.svg.png.webp)
Niveau et prérequis conseillés
![Image logo](../I/Question_book-2.svg.png.webp)
modifier ces prérequis.
Cours de niveau 14. Les prérequis conseillés sont :
- mathématiques niveau Bac ;
- Algorithmique et programmation.
![Image logo](../I/Question_book-2.svg.png.webp)
![Image logo indiquant les ressources](../I/Sciences_humaines.svg.png.webp)
Personne n'a créé cette section.
[]
Référents
![Image logo](../I/Question_book-2.svg.png.webp)
modifier les référents.
Ces contributeurs sont prêts à vous aider concernant ce cours :
- Psychoslave
![Image logo](../I/Question_book-2.svg.png.webp)
Cet article est issu de Wikiversity. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.