Introduction aux notions de logique et programmation logique/Présentation du cours

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.