1
ressource :
SOLNON CHRISTINE
Rechercher
Aide
Recherche avancée
Recherche en cours
Par auteur
=
SOLNON CHRISTINE
1
1
Retour
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1
ressource
page 1
sur 1
résultats
1 à 1
Programmation par contraintes
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 ...
Mots clés
:
programmation déclarative, Prolog, solveur de contrainte, relation logique, algorithme, filtrage, fuscia
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
Droits
:
Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
1