Page de Garde

Programmation en logique avec contraintes

Type doc. :

Livre

Langue :

Français

Auteur(s) :

[9es Journées francophones de programmation logique etprogrammation par contraintes, 28-30 juin 2000, Marseille, France]
Le LIM, Laboratoire d'informatique de Marseille
l'ESIL, École supérieured'ingénieurs de Luminy
Touraïvane

Editeur(s) :

Hermès sciences publications

Année d'édition :

2000

Sujet(s):
Programmation logique
modélisation

Thème :

Informatique, traitement des données

ISBN :

274620147X
Voir Plus

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.

Voir le Sommaire

N° Bulletin Date / Année de parution Titre N° Spécial Sommaire
Cote Localisation Type de Support Type de Prêt Statut Date de Restitution Prévue Réservation
004 PRO 4 C1 BIB-Centrale / Ouvrages Papier interne disponible
004 PRO 4 C2 BIB-Centrale / Ouvrages Papier interne disponible
004 PRO 4 C3 BIB-Centrale / Ouvrages Papier externe disponible
004 PRO 4 C4 BIB-Centrale / Ouvrages Papier externe disponible
004 PRO 4 C5 BIB-Centrale / Ouvrages Papier externe disponible
004 PRO 4 C6 BIB-Centrale / Ouvrages Papier externe disponible
004 PRO 4 C7 BIB-Centrale / Ouvrages Papier externe disponible
004 PRO 4 C8 BIB-Centrale / Ouvrages Papier externe disponible
004 PRO 4 C9 BIB-Centrale / Ouvrages Papier externe disponible
004 PRO 4 C10 BIB-Centrale / Ouvrages Papier externe disponible
004 PRO 4 C11 BIB-Centrale / Ouvrages Papier externe disponible
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;