Panneau latéral

>> Accès aux Licences

Les Masters

Les doubles Masters

Ressources utiles

Contacts

Scolarité M1

Mickael Ferreira
01 57 27 68 96
Sophie Germain - Bur. 3004
En télétravail les mardis et vendredis
(permanences Zoom : 10h30-12h00 ; 14h00-15h30)

(code: 141280)

Scolarité M2

Sylvia Crochet
01 57 27 68 98
Sophie Germain - Bur. 3002
En télétravail les mardis et vendredis. Ne travaille pas les mercredis
(permanences Zoom : 10h00-11h30 ; 14h30-16h00)

(code: 242581)

formations:masters:cours:resume_prolog

Programmation Logique et par Contraintes

La page du cours

Contenu du cours

Prolog :

Syntaxe et sémantique opérationnelle.
Fondements logiques et sémantique déclarative.
Modélisation de problèmes en Prolog.
Récursion, listes.
Contrôle: cut et négation.
Applications.

Programmation par contraintes :

Qu’est-ce qu’une contrainte.
Qu’est-ce un problème de satisfaction de contrainte (CSP).
Exemple: Coloriage d’une carte.
Modélisation à l’aide de CSP.
Algorithmes de résolution de CSP sur domaines finis.
Programmation par contraintes avec Prolog.
Résolution de contraintes linéaires (sur les entiers)

formations/masters/cours/resume_prolog.txt · Dernière modification : 2022/07/26 19:04 de 127.0.0.1