Ressource pédagogique : La programmation par contraintes

Accédez à la ressource pédagogique 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?...
Mots-clés :
Accéder à la ressource pédagogiqueDroits d'accès : non autorisé
cours / présentation, démonstration - Date de création : 20-02-2004
Auteur(s) : Étienne Parizot, Sylvain Soliman, François Fages
Partagez !

Présentation de: La programmation par contraintes

Informations pratiques sur cette ressource

Français
Type pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Langue de l'apprenant : Français
Contenu : texte, image, ressource interactive
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu de l'utilisateur : 18+
Droits : 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 pédagogique

Description (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)

Thème(s)

Informations pédagogiques

    Informations techniques sur cette ressource pédagogique

      Intervenants, édition et diffusion

      Intervenants

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

      Editeur(s)

      Diffusion

      Partagez !

      AUTEUR(S)

      • Étienne Parizot
        Indépendant
      • Sylvain Soliman
        INRIA
      • François Fages
        INRIA

      ÉDITION

      Institut National de Recherche en Informatique et en Automatique / Interstices

      EN SAVOIR PLUS

      • Identifiant de la fiche
        http://ori.unit-c.fr/uid/unit-ori-wf-1-4763
      • Identifiant
        unit-ori-wf-1-4763
      • Statut de la fiche
        final
      • Schéma de la métadonnée
      • Entrepôt d'origine
        UNIT
      • Date de publication
        24-02-2004