Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
2 résultats
section 1-1 sur 1
résultats 1 à 2
UNIT
Programmation Logique et Intelligence Artificielle Droits d'accès : non autorisé
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, une ...
Date : 04-02-2003
Format : Document Postscript, Document PDF
Auteur : Kesner Delia, Habermehl Peter
Thème : Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur, licence, bac+2
Public : apprenant
UNIT
Programmation par contraintes Droits d'accès : non autorisé
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 l ...
Date : 01-09-2003
Format : Document HTML
Auteur : Solnon Christine
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, exercice
Niveau : licence
Public : apprenant