
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 |
| 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 € |
| Disponibilité | Epuisé |
Pourquoi choisir Molière ?
Du même auteur
-

La CFAO en odontologie. Les bases, les principes et les systèmes
Descamp François ; Fages Michel ; Duret FrançoisVoici le premier ouvrage entièrement consacré à la CFAO! La conception et fabrication assistées par ordinateur (CFAO) est une technique de plus en plus couramment utilisée en odontologie. A ce titre: - la CFAO est le thème incontournable dans tous les journaux professionnels depuis plusieurs années, - aucun livre qui explique ce qu'est la CFAO de A à Z n'a été produit sur le sujet, - la préface est signée par l'inventeur de la CFAO : le docteur François Duret.Sur commande en 2-4 joursCOMMANDER65,00 € -

Prisonnier des pirates. Gabriel, Les Antilles 1720
Mirza Sandrine ; Place François ; Fagès ErwanPour découvrir et partager la vie quotidienne des enfants d'hier. Gabriel raconte sa vie au fil des jours à bord d'un bateau pirate, en 1720. Le récit vivant et intime de ses aventures permet de plonger au coeur des Caraïbes.Sur commande en 2-4 joursCOMMANDER13,50 € -

Bijoux de l'amitié. Avec 1 mètre de ruban, 2 breloques, 1 mètre de cordon et 2 anneaux
Fages Christine ; Laffaiteur Amélie ; Gire VincentDes idées, du matériel et des explications pour réaliser facilement des créas tendance ! Avec le ruban au motif de l'amitié éternelle et des clés, réalise des bijoux à partager avec tes amies!Sur commande en 2-4 joursCOMMANDER9,99 € -

Comprendre Jacques Lacan . 2e édition
Fages Jean-BaptisteCet ouvrage dégage les notions de base et retrouve les lignes de fond de la théorie et de la pratique lacaniennes. Il s'efforce aussi de pénétrer dans l'étrange langage lacanien, fardé de préciosités et bardé d'hermétismes.EpuiséVOIR PRODUIT14,45 €
Du même éditeur
-

Le manuel de cours du Tage Mage
Pinto Joachim ; Sévigné Arnaud« Le meilleur livre de préparation au TAGE MAGE du march? (prépa Admissions Parallèles) Objectif : Connaître toutes les méthodes, astuces, conseils et questions types du TAGE MAGE ! Profil : Tout candidat au TAGE MAGE qui vise un bon ou un très bon score. Idéal pour les candidats qui ont déjà un autre livre de préparation. Les + sur le fond : - 220 fiches de cours : explications du cours + exemples + exercices (toutes les formules / astuces / conseils). - 110 vidéos pédagogiques (accessibles via le livre / smartphone / ordinateur). - 2 tests blancs avec corrigés détaillés étape par étape. - 500 questions d'entrainement. - Un espace utilisateur sur le site www.le-manuel-du-tage-mage.com Les + sur la forme : - Ouvrage en couleur. - 15 plannings de révisions personnalisés selon votre objectif de score, votre temps de préparation disponible et le nombre de fois que vous passez le TAGE MAGE. - Fiches et questions classées par difficulté (1 à 5) et par fréquence d'apparition (1 à 5). - Mise en page travaillée. Autres livres de la collection : - Le GRAND Manuel du TAGE MAGE : 220 fiches + 15 tests blancs + 110 vidéos. - Le PETIT Manuel du TAGE MAGE : 120 fiches + 2 tests blancs + 60 vidéos. - Le Manuel d'ENTRAINEMENT du TAGE MAGE : 10 tests blancs. Biographie des auteurs : Arnaud SEVIGNE (HEC Paris) et Joachim PINTO (HEC Paris), score record de 507/600, enseignent le TAGE MAGE depuis 5 ans à AURLOM (2012-2015) et à Admissions Parallèles (2015-Auj.). Ils sont déjà auteurs d'ouvrages de référence sur le TAGE MAGE et sont reconnus comme les plus grands experts de ce test.EpuiséVOIR PRODUIT29,50 € -

L'Anglais à Sciences Po. 5e édition
Fichaux FabienRéussir l'épreuve d'anglais aux Concours Sesame, Accès, Team, Ipag, Prism ou encore Pass demande rigueur, méthode et entraînement. Dans cette optique, cet ouvrage prépare de façon graduelle et pragmatique à toutes les épreuves d'anglais des différents concours - à la fois pour l'écrit mais aussi pour l'oral. Son objectif premier est de faire acquérir au lecteur une méthode solide pour lui permettre de travailler efficacement et réussir les concours d'entrée.EpuiséVOIR PRODUIT23,00 € -

Le manuel d'entraînement du Tage Mage
Pinto Joachim ; Sévigné Arnaud« Le meilleur livre de préparation au TAGE MAGE du march? (prépa Admissions Parallèles) Objectif : S'entraîner intensément au TAGE MAGE ! Profil : Tout candidat au TAGE MAGE qui vise un bon ou un très bon score. Idéal pour les candidats qui ont déjà un autre livre de préparation. Les + sur le fond : - 10 tests blancs avec corrigés détaillés étape par étape. - 900 questions d'entrainement. - Un espace utilisateur sur le site www.le-manuel-du-tage-mage.com Les + sur la forme : - Ouvrage en couleur. - 15 plannings de révisions personnalisés selon votre objectif de score, votre temps de préparation disponible et le nombre de fois que vous passez le TAGE MAGE. - Fiches et questions classées par difficulté (1 à 5) et par fréquence d'apparition (1 à 5). - Mise en page travaillée. Autres livres de la collection : - Le GRAND Manuel du TAGE MAGE : 220 fiches + 15 tests blancs + 110 vidéos. - Le PETIT Manuel du TAGE MAGE : 120 fiches + 2 tests blancs + 60 vidéos. - Le Manuel de COURS du TAGE MAGE : 220 fiches + 2 tests blancs + 110 vidéos. Biographie des auteurs : Arnaud SEVIGNE (HEC Paris) et Joachim PINTO (HEC Paris), score record de 507/600, enseignent le TAGE MAGE depuis 5 ans à AURLOM (2012-2015) et à Admissions Parallèles (2015-Auj.). Ils sont déjà auteurs d'ouvrages de référence sur le TAGE MAGE et sont reconnus comme les plus grands experts de ce test.EpuiséVOIR PRODUIT29,00 € -

Le corps
Guisard Philippe ; Laizé Christelle ; Kalfon Jean-La collection Cultures antiques est une invitation à parcourir le domaine fondamental de l'Antiquité gréco-romaine et des oeuvres que nous ont léguées les Anciens, à la faveur d'une question choisie : c'est autour du thème de culture antique donné à l'étude en hypokhâgne et khâgne qu'elle rassemble une série d'articles réunissant professeurs des universités et des classes préparatoires de différentes spécialités. Elle propose ainsi aux étudiants, qu'ils soient néophytes, initiés ou bien déjà familiarisés avec la culture antique, des analyses récentes et claires appliquées à un large corpus de textes pour une meilleure compréhension et un plus grand plaisir de la connaissance.Impression à la demandeCOMMANDER49,00 €
De la même catégorie
-

Algorithmique et programmation en Java. Cours et exercices corrigés, 5e édition
Granet VincentCet ouvrage est destiné aux étudiants en informatique (IUT, L2, L3 et Ml) et à ceux qui sont en écoles d'ingénieurs. La connaissance de l'algorithmique et de la programmation est l'une des bases du métier et des compétences d'un informaticien. L'objectif de ce livre est de vous faire comprendre et assimiler des méthodes et des outils qui vous permettront de concevoir des programmes valides et fiables. Les 16 premiers chapitres enseignent la programmation impérative en s'appuyant sur une méthodologie objet et le langage java. Les 11 derniers expliquent en détail les structures de données abstraites classiques (listes, graphes, arbres...) et les algorithmes fondamentaux (recherche, tri...). Les notions de cours dont illustrées par 211 exercices dont la plupart sont corrigés.Sur commande en 2-4 joursCOMMANDER41,65 € -

Travaux pratiques InDesign CC. Créez des documents esthétiques, mettez en page textes et images
Krakus OlivierCet ouvrage est un manuel d'apprentissage pratique pour découvrir et maîtriser InDesign, de sa prise en main à la mise en page de documents complexes : découvrez l'interface, les menus et les outils indispensables à travers des supports prints et web ; apprenez les astuces vous permettant d'être efficace sur le logiciel ; créez des documents mêlant textes et images tels qu'un CV, un livre de cuisine ou encore un flyer avec coupon réponse ; appliquez tout ce que vous avez appris en réalisant vous-même des mises en page élaborées et créatives ; maîtrisez le format deux colonnes, l'habillage de texte, les gabarits, les sommaires ou encore la mise en page liquide. En bonus sur www.dunod.com, réservés aux lecteurs de l'ouvrage : les fichiers du livre pour refaire, pas à pas, tous les exercices.EpuiséVOIR PRODUIT22,25 € -

Programmation en Python pour les sciences de la vie
Poulain Pierre ; Fuchs PatrickPython est le langage de programmation le plus répandu dans le monde scientifique. Il est parfaitement adapté pour l’analyse de données en sciences de la vie. Cet ouvrage, didactique et simple d'approche, aborde progressivement la programmation et l'algorithmique. Il présente ensuite des fonctionnalités plus avancées utiles en analyse de données (numpy, pandas, matplotlib, notebooks jupyter), ainsi qu’une introduction à la programmation orientée objet et graphique. L’ouvrage s’appuie sur de nombreux exemples provenant de la biologie, comme la manipulation de séquences nucléiques, l’analyse de structures protéiques, etc. De nombreux exercices d’application, de difficulté croissante, sont proposés et corrigés en détails. L’ensemble des codes sources de l’ouvrage est disponible en ligne.EpuiséVOIR PRODUIT32,45 € -

Tout JavaScript. Maîtrisez les bases de la programmation JavaScript, démarrez les frameworks Node.js
Hondermarck OlivierCe livre s’adresse à tous les développeurs web, qu’ils soient débutants ou avancés.Le JavaScript sert avant tout à rendre les pages web interactives et dynamiques du côté de l’utilisateur, mais il est également de plus en plus souvent utilisé côté serveur. La première partie de ce livre explique les bases et les bonnes pratiques de la programmation en JavaScript en se fondant sur la version ECMAScript 6. La deuxième partie porte sur l’interactivité avec les utilisateurs (interfaces, formulaires, gestion des erreurs, géolocalisation…). La troisième partie permet de s’initier aux aspects les plus avancés de JavaScript tels que Node.js, React ou les Web Workers. Les renvois de type tjs.ovh/nomScript qui sont présents au fil des pages sont des compléments interactifsà ce livre. Ils affichent : Le rendu de l’exécution du script. Un émulateur de la console du navigateur. Le code source complet de l’exemple avec une coloration syntaxique, des commentaires et des liens vers les fiches de la référence JS du site toutjavascript.com.EpuiséVOIR PRODUIT32,45 €
