
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 € |
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, 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, 2 à 4 joursCOMMANDER13,50 € -

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
Farges François ; Bos Nicolas ; David Bruno ; SauvRésumé : Objets de nature et de culture, de science et d'art, de pouvoir et de séduction, les pierres précieuses fascinent autant qu'elles questionnent. Depuis sa formation, il y a 4, 6 milliards d'années, la Terre produit une diversité inouïe de minéraux rares, convoités depuis des millénaires. Au Muséum national d'histoire naturelle, ces derniers sont devenus des objets de science dès le XVIIIe siècle. Depuis, minéraux et gemmes se révèlent une source d'inspiration pour les scientifiques et les joailliers du monde entier. Paris accueille parmi les plus belles pierres précieuses entre le Quartier latin et la place Vendôme. Les trésors de la collection du Muséum - rarement exposés ou récemment redécouverts - établissent un dialogue inédit avec la Maison de haute joaillerie Van Cleef & Arpels. Les deux institutions nous invitent à partager leur histoire, leur expertise et leurs savoir-faire à travers une sélection exceptionnelle de minéraux et de créations remarquables.ÉPUISÉVOIR PRODUIT39,00 €
Du même éditeur
-

40 thèmes illustrés par le numérique pour l'agrégation interne de mathématiques. Développements, exe
Peronno SébastienCe livre présente une quarantaine de thèmes, couvrant une large partie du programme des oraux de l'agrégation interne de mathématiques. Les thèmes sont répartis en trois catégories : des illustrations pour accompagner des résultats courants ; des exercices corrigés que l'on peut adapter en exemples de cours ; des développements approfondis, présentables en deuxième partie d'entretien. Pour chacun d'entre eux, une application, au moins, est proposée avec Python, Geogebra ou LibreOffice. L'ouvrage constitue donc un point d'appui pour répondre aux attentes du jury concernant "l'usage pertinent des outils numériques". Au-delà de ce concours, il peut intéresser les candidats à l'agrégation externe ainsi que tous les enseignants et étudiants désireux d'améliorer leurs connaissances informatiques et de rendre les mathématiques avancées plus visuelles.Sur commandeCOMMANDER24,00 € -

Micro et macroéconomie. 50 fiches pour réviser et comprendre les mécanismes économiques
Denis FrançoisCet ouvrage qui couvre l'ensemble de la microéconomie et de la macroéconomie aborde chaque thème à partir d'une fiche de révision synthétique et de cas pratiques. Il s'adresse principalement aux élèves de premier cycle d'économie, de classes préparatoires, des IEP ou des écoles de commerce et des magistères. Mais il s'adresse également aux élèves de BL. Qu'apporte spécifiquement cet ouvrage ? Tout d'abord, j'ai tenu à réduire la modélisation mathématique en mettant davantage l'accent sur la compréhension des modèles comme ISLM et 060G. J'aborde aussi les bases de l'actualisation, méthode utilisée par les banques d'affaires et les fonds de gestion pour valoriser les actifs financiers. Enfin, j'aborde des cas pratiques comme la faillite du fond LTOM.Sur commandeCOMMANDER26,00 € -

Dermatologie. Entraînement
Benassaïa ErwinLa Martingale t'accompagne tout au long de tes études de médecine avec les référentiels numériques, mis à jour régulièrement !Sur commandeCOMMANDER24,00 € -

Spécialité Sciences économiques et sociales Tle
Peugnet Arnaudrie Une collection indispensable pour préparer le contrôle continu et les épreuves du Bac avec efficacité et sérénité. Vous y trouverez : Des entraînements pour le contrôle continu (CC) ; Des sujets types du Bac pour préparer les épreuves finales (EF) ; Des pistes de réflexion et des rappels ; Des corrigés rédigés pour avoir la note maximum ; Des conseils du professeur pour améliorer sa copie.Sur commandeCOMMANDER15,00 €
De la même catégorie
-

Python 3. Apprendre à programmer dans l'écosystème Python, 2e édition
Cordeau Bob ; Pointal LaurentDestiné à tous ceux qui veulent s'initier à la programmation, qu'ils soient étudiants, enseignant ou autodidactes, cet ouvrage vous fournira les bases de l'apprentissage de la programmation avec Python 3, langage à la fois simple, puissant et polyvalent. Accompagnée de nombreux exemples, la démarche pédagogique est renforcée par l'usage de la distribution Pyzo et des notebooks Jupyter, outils pédagogiques interactifs qui permettent au lecteur de tester aisément son code et de mettre en oeuvre les connaissances qu'il acquiert. De plus l'usage de la couleur permet de bien faire comprendre les différents éléments qui constituent le code. Outre les 25 exercices corrigés présents dans la version imprimée, cet ouvrage offre une centaine d'autres exercices corrigés accessibles sur le web. Le livre s'appuie sur la version Python 3. 8. Retrouvez sur https : //www. dunod. com/EAN/9782100809141 et sur https : //github. com/lpointal/appbclp : - Les programmes des exercices et des exemples. - Une documentation sur l'installation et l'usage des notebooks Jupyter. - Les exercices corrigés supplémentaires.EN STOCKCOMMANDER24,00 € -

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.Sur commande, 2 à 4 joursCOMMANDER32,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 € -

Photoshop CC pour les photographes. Manuel de fomation pour les professionnels de l'image
Evening MartinRésumé : Dans cette nouvelle édition de son best-seller, bible du photographe numérique, Martin Evening nous présente la version CC de Photoshop, en mettant l'accent sur les articulations entre Photoshop et Bridge, Camera Raw ou Lightroom. Les nouvelles fonctionnalités du logiciel, maintenant hébergé dans le Creative Cloud d'Adobe, sont traitées en détail (espace de travail, suréchantillonnage ,"intelligent", correction du flou de bougé, etc.), sans oublier les problématiques classiques de traitement et de correction des images, d'accentuation, de retouche, de montage, de travail du noir et blanc. Méthodes, mises en garde, conseils techniques et artistiques, cet ouvrage est le guide indispensable de tous les photographes, professionnels ou amateurs exigeants.ÉPUISÉVOIR PRODUIT39,90 €
