Rechercher une ressource pédagogique : solveur

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

2 résultats
section 1 sur 1
résultats 1 à 2
UNIT
UNIT
20.02.2004
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…
  • programmation logique
  • algorithme
  • solveur
  • langage haut niveau
  • recherche opérationnelle
  • propagation de contrainte
  • optimisation
  • fuscia
UNIT
UNIT
01.09.2003
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