US331K

Programmation par contraintes


2 crédits Safia KEDAD SIDHOUM EPN05 - Informatique Unité spécifique de type cours

Publié Du 01-09-2024 au 31-08-9999

Prérequis

Savoir programmer dans un langage de programmation

Objectifs pédagogiques

Connaitre les spécificités de la programmation par contraintes ; Savoir modéliser un problème sous forme de CSP ; Reconnaitre les situations où la PPC peut être utile ; Comprendre les mécanismes sous-jacents de résolution (consistances, apprentissage par erreur notamment).

Compétences

savoir modéliser sous forme de CSP ; comprendre les algorithmes de résolution ; utiliser un solveur de PPC

Contenu

  • Introduction à la PPC, modélisation CSP
  • Techniques de consistance
  • Apprentissage par erreurs
  • Étude d'un article de recherche
  • Initiation à l'outil IBM de PPC
  • Soutenances des projets

Modalités de validation

  • Projet(s)

Thésaurus du Cnam :

  • Aucune indexation

Thésaurus Formacode :

  • Aucune indexation

Secrétariat

Libellé
Recherche opérationnelle
Nom du contact
Adresses email
secretariat.ro@cnam.fr
Numéros de téléphone
01 40 27 22 67
Adresse postale
2D4P20, 33-1-10, 2 rue Conté
Paris 75003