3 ressources en auto-formation : programmation logique

FILTRES

3 résultats
page 1 sur 1
Résultats de 1 à 3
Présentation de la ressource en auto-formation Introduction à l'intelligence Artificielle cours / présentation, animation, glossaire
19/10/2012
Introduction à l'intelligence Artificielle
Auteur(s) : Duhaut Dominique, Villaneau Jeanne, Menier Gildas, Poirier Franck
Description : Module d'enseignement du programme UNIT-GDR consacré à la Robotique. L'objectif de ce module web est de faire un tour d’horizon des différentes techniques qui permettent d’écrire des programmes informatiques pouvant donner à un observateur une illusion d’intelligence. Il est composé de plusieurs ...
Présentation de la ressource en auto-formation La programmation par contraintes cours / présentation, démonstration
24/02/2004
La programmation par contraintes
Auteur(s) : Parizot Étienne, Soliman Sylvain, Fages François
Description : Grâce à elle, le programme informatique résolvant un problème peut s’écrire de manière très simple. Il s’agit simplement d’écrire les différentes contraintes que l’on souhaite voir respectées…
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. ...