
Programmation logique par contraintes
L'enseignement d'Informatique à l'Ecole 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.
| Nombre de pages | 192 |
|---|---|
| Date de parution | 27/10/1998 |
| Poids | 440g |
| Largeur | 175mm |
| SKU: | 9782729846138 |
| wmi_id_distributeur: | Not set |
| Is Salable (from plugin): | No (Out of Stock) |
| Is Salable (direct MSI check): | No (Out of Stock) |
| Distributor Name: | Par défaut |
| Availability Value: | 0 |
| Availability Label: | Epuisé |
| Match Result: | |
| Default Availability (Config): | 0 - Epuisé |
| Raw Config Mapping: |
Array
(
[_1772119784121_121] => Array
(
[id] => 12707000
[name] => 12707000
[availability] => 1
[activation_attribute] => 1
)
)
|
| EAN | 9782729846138 |
|---|---|
| Titre | Programmation logique par contraintes |
| Auteur | Fages François |
| Editeur | ELLIPSES |
| Largeur | 175 |
| Poids | 440 |
| Date de parution | 19981027 |
| Nombre de pages | 192,00 € |
Pourquoi choisir Molière ?
Du même auteur
-

Colloque sentimental entre François Hollande et Fagus Livre 1
Fagus FrancoisL'auteur a rédigé et expédié 373 lettres par voie postale au Président de la République entre le 8 septembre 2014 et le 12 mai 2017. Ne laissant aucune coordonnées personnelles durant cette relation épistolaire à sens unique, la volonté de l'auteur a été de conserver la liberté de son expression et de sa pensée. Le point de départ de cet ouvrage est la parution du livre de Valérie Trierweiler "Merci pour ce moment". Alternant souvenirs personnels, chroniques de l'actualité dont le personnage central est François Hollande, l'histoire avec un grand H, évoquant l'amour et réflexions philosophiques, l'auteur nous offre une très singulière leçon de vie et de sagesse.ÉPUISÉVOIR PRODUIT28,05 € -

Pierres précieuses. Guide visuel
Farges François ; Segura Olivier ; Vallanet-DelhomRésumé : Du temps des rois aux ruées vers l'or et jusqu'aux collectionneurs actuels, les pierres précieuses suscitent bien des fantasmes sur la couleur, la lumière et la rareté, ce qui les pare d'une valeur qui confine au rêve. Signe de richesse et de pouvoir, l'éclat des pierres précieuses évoque aussi la profondeur géologique du temps, une épopée de plusieurs milliards d'années, celle de la Terre. François Farges et Olivier Segura nous entraînent à la découverte de ces pierres et de leur formation. En racontant leur histoire, ils partagent avec nous les secrets les plus intrigants de la planète. Des propriétés de la turquoise à la symbolique du diamant et au Grand Saphir de la Couronne de France, ce guide riche de plus de 1 000 photos vous entraînera dans le monde fascinant des joyaux et des gemmes. "De la nature de ces pierres à leurs propriétés et à leur formation, François Farges et Olivier Segura nous offrent une plongée dans l'histoire de la Terre. Géologie et gemmologie ou la science au service du rêve". Extrait de la préface de Marie Vallanet-Delhom, Présidente de L'Ecole des Arts Joailliers, Nicolas Bos, Président & CEO de Van Cleef & Arpels, et Bruno David, Président du Muséum national d'Histoire naturelleEN STOCKCOMMANDER25,10 € -

Aux origines de la vie psychique. Psychanalyse et vie foetale
Farges François ; Farges Nicole ; Missonnier SylvaL'ouvrage fait le point sur les apports des recherches les plus récents dans le domaine de la vie foetale, du point de vie de la psychanalyse.ÉPUISÉVOIR PRODUIT16,00 € -

Le diamant bleu
Piantanida Thierry ; Farges FrançoisBiographie de l'auteur François Farges est professeur au Muséum d'histoire naturelle de Paris et à l'université de Stanford. Thierry Plantanida est auteur et réalisateur de films documentaires de science et de nature.ÉPUISÉVOIR PRODUIT19,95 €
Du même éditeur
-
Réussir sa version de latin. Etude de la langue, versions traduites et commentées, civilisation, con
Flobert AnnetteRésumé : Rien ne remplace le contact direct avec les oeuvres étrangères ; c'est particulièrement vrai pour le latin qui a toujours entretenu et continue d'entretenir, contre vents et marées, des liens si étroits avec notre culture. Cet ouvrage destiné aux élèves de lycée et aux étudiants aborde la lecture des textes de trois points de vue différents : étude de la langue ; méthode de traduction ; versions expliquées. De très nombreux exemples, tous traduits, familiarisent le lecteur avec la pratique de la langue, lui assurent une bonne maîtrise du sens et préparent au commentaire littéraire.ÉPUISÉVOIR PRODUIT24,00 € -
La conquête des Amériques. Amérindiens et conquérants au XVIe siècle
Wallerick Grégory ; Grevet RenéRésumé : L'année 1492 sonne comme une date majeure dans l'histoire du monde : la rencontre entre l'Europe et le continent américain, sous la bannière dressée par Christophe Colomb. C'est aussi la première mondialisation, c'est-à-dire la possibilité de considérer l'ensemble des terres dans le monde. De ce contact, deux conséquences sont directement appréciées. Le premier retentissement concerne la découverte, pour les Européens, de différents peuples qui semblent vierges de civilisation et de religion. Ces populations constituent autant de brebis égarées à convertir dans la foi catholique, alors que la menace musulmane se fait pressante et les dissensions au sein du christianisme augmentent. La seconde conséquence est l'extension de l'Ancien Monde. Les royaumes d'Espagne et du Portugal sont les premiers à être autorisés, par le pape, à s'installer dans les espaces américains. D'autres grandes puissances européennes, comme les royaumes de France et d'Angleterre et, plus tard, la République des Provinces-Unies, cherchent, au cours du XVIe siècle, à s'implanter dans le Nouveau-Monde, de manière éphémère ou durable. Ce livre retrace les conséquences de cette rencontre, notamment la manière dont les Européens parviennent à s'implanter, parfois après de vaines tentatives, sur un espace de convoitises et de rivalités. Le siècle de la conquête et de l'appropriation des Amériques bouleverse profondément les deux protagonistes, l'Ancien et le Nouveau-Monde. La vision de la conquête à la fin de ce siècle contribue à créer une image persistante des nations conquérantes.ÉPUISÉVOIR PRODUIT24,50 € -
Orsu ! Grammaire pratique de l'italien B1-B2
Terreaux-Scotto CécileRésumé : Destiné aux italianistes, élèves du secondaire, étudiants de l'université ou des classes préparatoires, ou même autodidactes, cet ouvrage permet d'apprendre ou de revoir la grammaire italienne et ses difficultés les plus courantes, au moyen de 40 chapitres synthétiques proposant une approche progressive en 5 étapes : observer, comprendre, retenir, aller plus loin et enfin, s'entraîner. Structuré et progressif, chaque chapitre s'appuie de façon très concrète, à la manière d'un bain linguistique, d'abord sur l'observation d'exemples tirés de la littérature italienne, puis sur leur analyse articulée autour de la comparaison entre le français et l'italien, avant de proposer une explication synthétique à retenir et un approfondissement de la notion étudiée pour aller éventuellement plus loin. Enfin, grâce aux nombreux exercices variés et systématiquement corrigés vous pourrez mettre en pratique les règles théoriques apprises ou revues. Les plus : De très nombreux exemples extraits de la littérature italienne. La définition systématique des termes grammaticaux rencontrés. Des explications synthétiques avec deux niveaux de difficulté. Plus de 180 exercices corrigés. Une bibliographie nourrie.ÉPUISÉVOIR PRODUIT18,00 € -
Les troubles du sommeil en 100 questions/réponses
Andlauer Olivier ; Flamand Mathilde ; Bindler LouiDes questions de patients, des réponses de spécialistes. Pour tout comprendre et tout savoir sur les troubles du sommeil.ÉPUISÉVOIR PRODUIT14,50 €
De la même catégorie
-
Revit pour le BIM. 6e édition
Renou Jonathan ; Chemise Stevens ; Quijada MikaëlMaîtriser Revit et le BIM Logiciel de modélisation 3D dédié au secteur du bâtiment, Revit regroupe les domaines d'activité de l'architecture, des fluides et de la structure. Fer de lance de l'éditeur Autodesk, il intègre les concepts du BIM (Building Information Modeling), qui permet de capitaliser toutes les données du cycle de vie d'une construction. Portant plus particulièrement sur la partie structure de Revit, cet ouvrage s'adresse à tous ceux qui souhaitent découvrir et maîtriser ce logiciel par la pratique. Tous les concepts fondamentaux y sont expliqués et illustrés par une multitude d'exemples visuels facilitant l'apprentissage du lecteur, qui pourra ainsi s'imprégner de la philosophie de Revit. Fourmillant de conseils et d'astuces issus de la grande expérience des auteurs, la sixième édition de ce livre a été mise à jour avec la dernière version 2020 de Revit, et les chapitres sur les armatures, le ferraillage et les aspects collaboratifs du logiciel ont été étoffés. A qui s'adresse ce livre ? Aux projeteurs, BIM Modeleurs, BIM Coordinateurs, BIM Managers, ingénieurs, architectes...ÉPUISÉVOIR PRODUIT48,00 € -
Apprendre à programmer en C pour les nuls
Gookin Dan ; Engler OlivierCe nouveau livre de la collection " Pour les Nuls pros " va vous donner en quelque 500 pages toutes les connaissances qui vous permettront de maîtriser le langage C afin de l'intégrer dans tous vos développements. Ici nous considérons le C comme premier langage, c'est-à-dire qu'aucune connaissance d'un autre langage n'est nécessaire pour démarrer. Nouvelle édition entièrement mise à jour. Au programme : Description de la structure du langage C Les déclarations et les types Utilisation des opérateurs Les expressions Boucles et contrôles d'exécution Les pointeurs Traitement des chaînes de caractères Travailler avec le préprocesseur Gestion des entrées/sortiesÉPUISÉVOIR PRODUIT24,95 € -
Programmer en Java. Couvre Java 9, 10e édition
Delannoy ClaudeRésumé : Dans cet ouvrage destiné aux étudiants en 1er et 2e cycles universitaires ou en écoles d'ingénieurs, Claude Delannoy insiste tout particulièrement sur la bonne compréhension des concepts objet et sur l'acquisition de méthodes de programmation Java rigoureuses. L'apprentissage du langage se fait en quatre étapes : apprentissage de la syntaxe de base, maîtrise de la programmation objet en Java, initiation à la programmation graphique et événementielle avec la bibliothèque Swing, introduction au développement Web avec les servlets, les JSP et JDBC. Cette 10e édition couvre les nouveautés de Java 9, au premier rang desquelles le Java Platform Module System (ex-projet Jigsaw) et l'outil jshell.ÉPUISÉVOIR PRODUIT38,00 € -
Machine Learning avec Scikit-Learn. Mise en oeuvre et cas concrets, 2e édition
Géron Aurélien ; Bohy AnneL'apprentissage automatique (Machine Learning) est aujourd'hui en pleine explosion. Mais de quoi s'agit-il exactement, et comment pouvez-vous le mettre en oeuvre dans vos propres projets ? L'objectif de cet ouvrage est de vous expliquer les concepts fondamentaux du Machine Learning et de vous apprendre à maîtriser les outils qui vous permettront de créer vous-même des systèmes capables d'apprentissage automatique. Vous apprendrez ainsi à utiliser Scikit-Learn, un outil open source très simple et néanmoins très puissant que vous pourrez mettre en oeuvre dans vos systèmes en production. Apprendre les bases du Machine Learning en suivant pas à pas toutes les étapes d'un projet utilisant Scikit-Learn et pandas. Ouvrir les boites noires pour comprendre comment fonctionnent les algorithmes. Explorer plusieurs modèles d'entraînement, notamment les machines à vecteur de support (SVM). Comprendre le modèle des arbres de décision et celui des forêts aléatoires, et exploiter la puissance des méthodes ensemblistes. Exploiter des techniques d'apprentissage non supervisées telles que la réduction de dimensionnalite. la classification et la détection d'anomalies.ÉPUISÉVOIR PRODUIT38,00 €








