1 ressource en auto-formation : logique propositionnelle

1 ressource
page 1 sur 1
Résultats de 1 à 1
Présentation de la ressource en auto-formation Logique formelle et programmation logique cours / présentation, exercice
04/02/2008
Logique formelle et programmation logique
Auteur(s) : Lengrand Stéphane
Description : Cours présentant les éléments fondamentaux de la logique classique en vue de modéliser le raisonnement, de le formaliser et de l’automatiser. L’objectif de cet enseignement est de conduire l’élève à maîtriser le processus de démonstration automatique pour les problèmes résolubles dans ce cadre. ...