UNIT

Sommaire

cours / présentation, démonstration

La programmation par contraintes

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…...

Date de création :

20.02.2004

Auteur(s) :

Étienne Parizot, Sylvain Soliman, François Fages

Accéder à la ressource :

Présentation

Informations pratiques

Langue du document : Français
Type : cours / présentation, démonstration
Niveau : enseignement supérieur
Langues : Français
Contenu : texte, image, ressource interactive
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu : 18+
Droits d'auteur : pas libre de droits, gratuit
Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Description de la ressource

Résumé

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…

  • Granularité : grain
  • Structure : atomique

"Domaine(s)" et indice(s) Dewey

  • (005.116)

Domaine(s)

  • Informatique
  • Programmation : Algorithmique, langages, conception objet, programmes
  • Informatique

Intervenants, édition et diffusion

Intervenants

Créateur(s) de la métadonnée : Marie-Hélène Comte

Édition

  • Institut National de Recherche en Informatique et en Automatique / Interstices

Diffusion

Cette ressource vous est proposée par :UNIT - accédez au site internetUNIT - accédez au site internet

Fiche technique

Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-4763
Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-4763
Statut de la fiche : final
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
Entrepôt d'origine : UNIT

Publication : 24.02.2004

programmation logique
algorithme
solveur
langage haut niveau
recherche opérationnelle
propagation de contrainte
optimisation
fuscia

Voir aussi

UNIT
UNIT
01.09.2003
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 ...
  • programmation déclarative
  • Prolog
  • solveur de contrainte
  • relation logique
  • algorithme
  • filtrage
  • fuscia
UNIT
UNIT
21.05.2008
Le problème du voyageur de commerce
Description : Le problème du voyageur de commerce est l’un des plus connus dans le domaine de la recherche opérationnelle. Jouez à trouver le meilleur parcours possible...
  • recherche opérationnelle
  • aide à la décision
  • problème NP-complet
  • cycle hamiltonien
  • graphe
  • optimisation de trajectoire
  • algorithme d'approximation
  • fuscia