3 ressources en auto-formation : Prolog

FILTRES

3 résultats
page 1 sur 1
Résultats de 1 à 3
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. ...
Présentation de la ressource en auto-formation Programmation Logique et Intelligence Artificielle cours / présentation
04/02/2003
Programmation Logique et Intelligence Artificielle
Auteur(s) : Kesner Delia, Habermehl Peter
Description : Cette présentation est une introduction à la logique de programmation. Les trois premières parties expliquent comment se conçoit la logique de programmation à travers le prisme du langage Prolog, vous verrez comment se construit une base de connaissances sous Prolog c'est-à dire définir un fait, ...
Présentation de la ressource en auto-formation Programmation par contraintes cours / présentation, exercice
09/01/2003
Programmation par contraintes
Auteur(s) : Solnon Christine
Description : La première session de ce cours introduira les notions de contraintes, de problèmes de satisfaction de contraintes (CSPs) et de solution d'un CSP.
Lors de la deuxième session, vous vous entraînerez, à travers plusieurs exercices, à modéliser un problème sous la forme d'un CSP.
Lors de la troisième ...