Différences

Ci-dessous, les différences entre deux révisions de la page.

--- formations:masters:cours:resume_prolog [2021/02/03 17:36] – ↷ Page déplacée de formations:masters:1ere_annee:cours:resume_prolog à formations:masters:cours:resume_prolog admin
+++ formations:masters:cours:resume_prolog [2022/07/26 19:04] (Version actuelle) – modification externe 127.0.0.1
@@ Ligne 1: / Ligne 1: @@
+====== Programmation Logique et par Contraintes ======
+[[https://www.irif.fr/~buccia/COURS/PLC/|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)