Tous nos rayons

Déjà client ? Identifiez-vous

Nouveau client ?

CRÉER VOTRE COMPTE
Votre panier contient 0 article
0,00 €
Programmation logique par contraintes

Librairie Eyrolles - Paris 5e
Indisponible

Programmation logique par contraintes

Programmation logique par contraintes

192 pages, parution le 10/08/1996

Résumé

L'enseignement d'Informatique à l'École polytechnique est constitué d'un cours de tronc commun en première année et de cours optionnels en première et seconde années.
Le cours de seconde année de François Fages traite d'un sujet en pleine effervescence à la fois dans le domaine de la recherche et dans l'industrie : la programmation par contraintes. L'ouvrage présente les fondements mathématiques de cette approche de la programmation. Les différents concepts sont introduits suivant un plan implacable partant d'un principe très général de programmation en logique et allant vers des réalisations précises en conception de langages de programmation, démonstration automatique, optimisation combinatoire.
Le cours est illustré par une quarantaine de programmes qui sont disponibles sur le WEB par Internet. Au-delà du sujet qu'il traite, cet ouvrage de 2e et 3e cycle pourra servir d'introduction attrayante et originale à la logique mathématique pour des étudiants informaticiens. Il s'adresse également aux ingénieurs curieux de connaître un traité scientifique sur un domaine technique d'actualité afin d'en apprécier sa généralité et ses perspectives futures.

Caractéristiques techniques du livre "Programmation logique par contraintes"

  PAPIER
Éditeur(s) Ellipses
Auteur(s) Francois Fages
Parution 10/08/1996
Nb. de pages 192
EAN13 9782729846138
ISBN13 978-2-7298-4613-8
Sélection des livres de l’été 2019

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine (1)

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ de 700 000 livres disponibles

satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925