« Introduction aux notions de logique et programmation logique/Présentation du cours » : différence entre les versions
Contenu supprimé Contenu ajouté
Page créée avec « Cette leçon aborde les points suivants : * fonctions booléennes: formes normales, diagrammes, simplification ; * ensembles dénombrables, ensembles récursifs, récursivem... » |
correction orthographe/grammaire |
||
Ligne 1 :
Cette leçon aborde les points suivants :
* fonctions booléennes: formes normales, diagrammes, simplification ;
Ligne 7 ⟶ 6 :
* résolution sans variable ;
* calcul des prédicats: axiomatique, interprétation, mise en forme de formules ;
*
* langage Prolog: faits, règles, fonctionnement de l'interprète, coupure, négation.
| |||