« Introduction aux notions de logique et programmation logique/Présentation du cours » : différence entre les versions

Contenu supprimé Contenu ajouté
mise à jour
Ligne 1 :
CetteCe leçoncours aborde les points suivants :
* fonctions booléennes: formes normales, diagrammes, simplification ;
* ensembles dénombrables, ensembles récursifs, récursivement énumérables ;