Programmation en logique avec contraintes
Type doc. :
Livre
Langue :
Français
Auteur(s) :
Editeur(s) :
Année d'édition :
2000
Thème :
Informatique, traitement des données
ISBN :
274620147X
Afficher le Résumé
L’ouvrage Programmation logique par contraintes de François Fages est un texte pédagogique pour étudiants de 2ᵉ- et 3ᵉ-cycle, ainsi que pour ingénieurs intéressés par la logique mathématique appliquée. Il présente les fondements mathématiques de la programmation par contraintes, partant de la programmation logique générale vers des problématiques concrètes : conception de langages de programmation, démonstration automatique, optimisation combinatoire. Le livre illustre les notions par de nombreux exemples de programmes disponibles en ligne. On y apprend comment modéliser des contraintes, comment les résoudre, et comment ces techniques s’appliquent à des systèmes réels.
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| N° d'Exemplaire / inventaire | Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|---|
| 167359A01 | 004 PRO 4 C1 | BIB-Centrale / Ouvrages | Papier | interne | disponible | ||
| 167362A01 | 004 PRO 4 C2 | BIB-Centrale / Ouvrages | Papier | interne | disponible | ||
| 167357A01 | 004 PRO 4 C3 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 175965A02 | 004 PRO 4 C4 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 167358A01 | 004 PRO 4 C5 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 167360A01 | 004 PRO 4 C6 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 175964A02 | 004 PRO 4 C7 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 167361A01 | 004 PRO 4 C8 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 175966A02 | 004 PRO 4 C9 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 175967A02 | 004 PRO 4 C10 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 167356A01 | 004 PRO 4 C11 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 167355A01 | 004 PRO 4 C12 | BIB-Centrale / Ouvrages | Papier | externe | disponible |
[9es Journées francophones de programmation logique etprogrammation par contraintes, 2. et al. (2000). Programmation en logique avec contraintes . Hermès sciences publications;