
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
-

A la découverte des minéraux et pierres précieuses. Minéraux et gemmes, sachez les reconnaître
Farges François ; Zigoni DelphinePourquoi l'or est-il si rare ? D'où vient la couleur des grenats ? Qu'est-ce qu'un biominéral ? Le monde des minéraux raconte une histoire passionnante, celle de la Terre, ainsi que des civilisations qui ont façonné des gemmes. Des propriétés de la turquoise à la symbolique des jades, ce guide riche de plus de six cents photos vous révèle pourquoi les minéraux sont si utiles et les pierres précieuses si convoitées. Il vous donne les clés pour identifier les espèce et débuter une collection. Dans cette nouvelle édition enrichie, découvrez de nouvelles merveilles minérales comme la Brazilianite, l'Euclase, les Impactites, la Lazulite, les Méteorites, la Pétalite (et pollucite), la Phénacite et les Septaria. Plongez dans ce livre, laissez-vous guide par François Farges à la rencontre des secrets les mieux gardés de la Nature...ÉPUISÉVOIR PRODUIT18,10 € -

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.ÉPUISÉVOIR PRODUIT13,50 € -

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.ÉPUISÉVOIR PRODUIT65,00 € -

A la découverte des minéraux et des pierres précieuses
Farges FrançoisProfesseur émérite du Muséum National d'Histoire NaturelleProfesseur au Muséum national d'Histoire naturelleÉPUISÉVOIR PRODUIT17,85 €
Du même éditeur
-
Le vocabulaire des philosophes. Tome 1, De L'Antiquité à la Renaissance
Zarader Jean-Pierre ; Balaudé Jean-FrançoisRésumé : 15 auteurs et mouvements philosophiques décortiqués à travers leurs grandes notions : Epicure, les Stoïciens, Saint Thomas, Montaigne?ÉPUISÉVOIR PRODUIT12,00 € -
Orthographe et conjugaison. L'essentiel en 400 exercices et jeux
Desbourdes IsabelleRésumé : Destiné à un public de lycéens, d'étudiants et d'adultes soucieux d'améliorer leur expression écrite, ce livre propose un entraînement orthographique à la fois structuré et ludique ; chaque chapitre est organisé en quatre séquences : 1. Révisez ! 2. Entraînez-vous ! 3. louez ! 4. Testez-vous ! qui offrent une grande diversité d'exercices et de jeux. Il traite des fréquentes erreurs, souvent indétectables par les logiciels de correction et aborde ainsi : les accords ; les conjugaisons ; les homophones. Il fournit également aux enseignants et formateurs un matériel pédagogique riche et varié : 400 exercices et 10 évaluations corrigés ; des corrigés commentés ; un index détaillé et un lexique des termes techniques.ÉPUISÉVOIR PRODUIT14,50 € -
Les grandes notions de la philosophie
Zarader Jean-PierreRésumé : 23 notions fondamentales pour acquérir l'essentiel et bien démarrer en philosophie : l'art autrui le bonheur la conscience la culture le désir le devoir l'Etat et la société l'expérience l'histoire l'imagination l'interprétation la justice et le droit le langage la liberté la matière et l'esprit la perception la religion la souveraineté théorie et expérience le travail, la technique et les échanges la vérité le vivant.ÉPUISÉVOIR PRODUIT16,00 € -
Vocabulaire. Plus de 100 jeux et quiz pour vous tester et découvrir le secret des mots
Lambert JeanVous souhaitez réviser, enrichir votre vocabulaire, découvrir le secret des mots ? Le présent ouvrage est fait pour vous. Conçu de façon progressive, il vous permettra d'affermir vos connaissances tout en vous amusant. Il offre : ? 1000 mots expliqués ? plus de 100 jeux et leurs corrigés ? des quiz de difficulté croissante ? et même... le coin des curieux A vous de jouer !ÉPUISÉVOIR PRODUIT9,50 €
De la même catégorie
-
Apprendre à coder des jeux vidéo en Python
Sweigart Al ; Durand Degranges PaulRésumé : Ne vous contentez pas de jouer à des jeux, créez-les ! Cet ouvrage a pour ambition de vous initier au développement de jeux vidéo grâce au populaire langage Python, et ce, même si n'avez encore jamais programmé de votre vie ! Vous développerez d'abord des jeux classiques comme le Pendu, Devinez le nombre ou le Morpion, avant de vous attaquer à la conception de jeux plus avancés techniquement qui intègrent, entre autres, du texte, des animations graphiques et du son. Par la même occasion, vous apprendrez les concepts de base de la programmation et des mathématiques pour amener vos compétences en codage de jeux vidéo à un autre niveau. Tous les projets de cet ouvrage sont basés sur la dernière version (3) de Python. Au cours de votre lecture, vous allez acquérir des bases solides en matière de programmation Python. Quel nouveau jeu allez-vous ensuite pouvoir créer à l'aide de la puissance de Python ? Tout au long de cette aventure en programmation, vous apprendrez à : choisir le bon type de structure de données pour faire le travail, comme des listes, dictionnaires ou tuples ; ajouter des illustrations et des animations dans votre jeu à l'aide du module pygame ; interagir avec le clavier et la souris ; programmer une intelligence artificielle suffisamment simple pour jouer contre l'ordinateur ; utiliser la cryptographie pour convertir des messages texte en codes secrets ; déboguer vos programmes et identifier les erreurs les plus communes.ÉPUISÉVOIR PRODUIT29,90 € -
Initiation à l'algorithmique et à la programmation en C. 3e édition
Malgouyres Rémy ; Zrour Rita ; Feschet FabienCet ouvrage s'adresse aux étudiants (licences et IUT), ainsi qu'à tous ceux qui souhaitent acquérir des bases solides en programmation. L'ouvrage est structuré en quatre parties : Les bases du langage C : syntaxe, types de données, entréessorties (stdio. h), exécution conditionnelle, structuration d'un programme C, structures, itération. Les structures séquentielles : tableaux, fichiers texte, adresses, pointeurs et passage par adresse, allocation dynamique, chaînes de caractères, fichiers binaires, tableaux à double entrée. Les algorithmes : langage algorithmique et complexité, algorithmes de tri quadratiques, tri rapide (quicksort). Les structures de données : listes chaînées, piles, files, récursivité, arbres binaires, graphes, parcours de graphes, liste d'adjacence. Conçus comme des supports d'apprentissage, les 129 exercices corrigés peuvent être abordés en complément de l'enseignement reçu ou de manière autodidacte.ÉPUISÉVOIR PRODUIT32,40 € -
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 € -
SQL par l'exemple. La pratique professionnelle des bases de données
Berger Sylvain ; Cassagne Cédric ; Chaissac CédricRésumé : Au coeur des systèmes d'informations se trouvent les bases de données relationnelles, outils informatiques incontournables. Pour les comprendre, mieux les appréhender, voire les utiliser, nous avons choisi d'allier expériences professionnelles et pédagogiques. Cet ouvrage s'adresse donc aux étudiants de BTS-SIO, d'IUT informatique, de classes préparatoires et d'écoles d'ingénieurs, mais également aux développeurs débutants utilisateurs des SGBDR et de leur langage SQL. Chaque étudiant retrouvera les éléments de son programme, de la théorie relationnelle à la mise en oeuvre de SQL, avec de nombreux exercices d'entraînement. Pour aller plus loin, les questions rencontrées lors d'une pratique professionnelle sont aussi abordées. En complément, vous trouverez sur le site sqlparexemple l'ensemble des exercices corrigés et les éléments techniques dont vous aurez besoin.ÉPUISÉVOIR PRODUIT26,00 €








