
La théorie des modèles en peu de maux
Lascar Daniel
CASSINI
40,00 €
Sur commande, 4 à 6 jours
EAN :
9782842251376
Catégories
| Nombre de pages | 343 |
|---|---|
| Date de parution | 06/07/2009 |
| Poids | 669g |
| Largeur | 155mm |
Plus d'informations
| EAN | 9782842251376 |
|---|---|
| Titre | La théorie des modèles en peu de maux |
| Auteur | Lascar Daniel |
| Editeur | CASSINI |
| Largeur | 155 |
| Poids | 669 |
| Date de parution | 20090706 |
| Nombre de pages | 343,00 € |
Découvrez également
Biochimie
Biologie
Statistique - probabilités
Chimie
Physique
Sciences de l'ingénieur
dans
Universitaires
Pourquoi choisir Molière ?
Efficacité et rapidité Commandé avant 16h livré demain
Économique et pratique Livraison à domicile dès 5,10 €
Facile et sans frais Retrait gratuit en magasin
Sécurité et tranquillité Paiement 100 % sécurisé
Disponibilité et écoute Contactez-nous sur WhatsApp
Du même auteur
-

Logique mathématique. Tome 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théori
Lascar Daniel - Cori RenéDomaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours, enseigné à l'université, traite de manière détaillée des domaines fondamentaux de la logique mathématique. Dans le premier tome sont exposés le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Ce second tome est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles. Outre le cours, de nombreux exercices corrigés permettront au lecteur d'acquérir et de maîtriser les différentes notions exposées. L'ouvrage se destine principalement aux étudiants en licence, master et doctorat de logique, mathématique et informatique. Il intéressera également les élèves ingénieurs et les étudiants désirant s'orienter vers les mathématiques pures ou l'informatique, ainsi que les chercheurs et les ingénieurs de recherche en informatique.Sur commandeCOMMANDER45,00 € -

Logique mathématique. Tome 2, Fonctions récursives, théorème de Gödel, théorie des ensembles
Cori René ; Lascar Daniel ; Krivine Jean-LouisDomaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours, enseigné à l'université, traite de manière détaillée des domaines fondamentaux de la logique mathématique. Dans le premier tome sont exposés le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Ce second tome est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'a la théorie des modèles. Outre le cours, de nombreux exercices corrigés permettront au lecteur d'acquérir et de maîtriser les différentes notions exposées. L'ouvrage se destine principalement aux étudiants en licence, master et doctorat de logique, mathématique et informatique. Il intéressera également les élèves ingénieurs et les étudiants désirant s'orienter vers les mathématiques pures ou l'informatique, ainsi que les chercheurs et les ingénieurs de recherche en informatique.ÉPUISÉVOIR PRODUIT47,00 € -

Logique mathématique. Tome 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats
Cori René ; Lascar Daniel ; Krivine Jean-LouisDomaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Daniel lascar Ce cours, enseigné à l'université, traite de manière détaillée des domaines fondamentaux de la logique mathématique. Dans ce premier tome sont exposés le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Le second est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et aux théories des ensembles et des modèles. Outre le cours, de nombreux exercices corrigés permettront au lecteur d'acquérir et de maitriser les différentes notions exposées. Directeur de recherches au CNRS. L'ouvrage, n'exigeant aucune connaissance préalable en logique, se destine principalement aux étudiants en licence et master de logique, mathématique et informatique. Il intéressera également les élèves ingénieurs et les étudiants désirant s'orienter vers les mathématiques pures ou l'Informatique, ainsi que les chercheurs et les ingénieurs de recherche en Informatique.ÉPUISÉVOIR PRODUIT46,19 € -

Entrepreneurs du Web. Les grandes réussites françaises
Lascar Jonathan ; Konczaty Julien ; Hayat PhilippeCe livre sur les débuts des géants du web a pour but de démystifier l'entrepreneuriat en France. Ecrit sous forme d'entretiens, cet ouvrage donne l'impression au lecteur de passer quelques moments privilégiés avec les fondateurs des entreprises sélectionnées. S'en dégagent notamment trois points forts : la démystification de " la bonne idée ". l'objectif étant d'évoquer la naissance des projets, cette approche montre paradoxalement que l'idée ne doit pas obligatoirement être révolutionnaire pour réussir. Au contraire, la simplicité est bien souvent gage de succès ; le développement opérationnel. On s'intéresse ici à la genèse de ces entreprises (RueDuCommerce, Sarenza, Dailymotion, PriceMinister. etc.), à la façon dont l'idée ou le concept est apparu. Puis comment la mise en oeuvre du projet s'est effectuée ; le besoin de financement et la méthodologie. Alors que certaines entreprises sont passées par des investisseurs privés (Business Angels), d'autres par des fonds d'investissement ou encore par l'autofinancement, l'ouvrage met en avant les avantages et les inconvénients de chaque méthode de recherche de capitaux.Sur commande, 4 à 6 joursCOMMANDER20,00 €
Du même éditeur
-

Les plus belles formules mathématiques
Salem Lionel ; Testard Frédéric ; Salem CoralieLes mathématiques sont sûrement très utiles, elles sont aussi amusantes et fascinantes. "Je comprends !", "Mais bien sûr !", "C?est clair !", "C?est simple !", "C?est joli !" sont des exclamations courantes chez les mathématiciens. En nous racontant très simplement des histoires, réelles ou imaginaires, joliment illustrées, les auteurs nous révèlent le sens pro- fond des formules mathématiques, nous les rendent évidentes, et nous expliquent comment elles ont été découvertes. Les héros de ces histoires sont célèbres, qu?ils s?appellent Fermat, Newton, Zénon, Fibonacci, Diderot, Pi, e ou le nombre d?or. Beaucoup des 49 formules de ce livre vous sont déjà familières. Si certaines ont pu un jour vous rebuter, nul doute que désormais, vous direz à votre tour : "Mais c?est simple !", "C?est clair !", "C?est joli 1".Sur commande, 4 à 6 joursCOMMANDER8,00 € -

La vérité sur les médecines alternatives
Singh Simon ; Ernst Edzard ; Blanc MarcelLes méthodes rigoureuses d'évaluation des thérapies sont un acquis récent de l'humanité. Des ravages de la saignée à l'expérimentation qui permit de découvrir le remède contre le scorbut, des statistiques de Florence Nightingale sur l'hygiène dans les hôpitaux aux méta-analyses de la collaboration Cochrane, Simon Singh et Edzard Ernst font le récit de leur longue mise au point. Ils peuvent alors se tourner vers les quatre principales thérapies alternatives, acupuncture, homéopathie, chiropraxie, phytothérapie, dont ils exposent les principes et dont ils retracent l'histoire, qu'elle remonte à la nuit des temps ou à un épisode romanesque du XIXe siècle. Pour chacune, ils présentent les résultats des études les plus récentes, en les illustrant par des histoires particulières, quelquefois dramatiques. Ils sont alors en mesure d'apporter une réponse aux questions que l'on se pose à propos de ces thérapies : qu'est-ce qui est efficace ? qu'est-ce qui peut présenter un danger ? qu'est-ce qui n'est pas plus efficace qu'un placebo ? Des réponses sont apportées de la même façon à propos de trente autres thérapies. Mais le caractère définitif des jugements ainsi formulés sur les divers traitements alternatifs n'épuise pas la question. Des interrogations nouvelles apparaissent : si on sait qu'un traitement ne vaut pas mieux qu'un placebo, est-ce une raison suffisante pour dissuader le patient d'y faire appel ? Ou pour le dire comme les auteurs : la vérité importe-t-elle ?Sur commande, 4 à 6 joursCOMMANDER24,00 € -

TNM. Classification des tumeurs malignes, 8e édition
Brierley James ; Gospodarowicz Mary ; Wittekind ChLa huitième édition de TNM - Classification des tumeurs malignes fournit les derniers standards, fruits d'un accord international, pour décrire et catégoriser les stades du cancer. Publié sous l'égide de l'Union Internationale Contre le Cancer (UICC), ce guide de poche, qui fait autorité, contient d'importantes mises à jour des classifications spécifiques d'organes dont les oncologues et autres professionnels qui prennent en charge des patients atteints de cancer ont besoin pour classer les tumeurs avec précision dans le but d'établir la stadification, le pronostic et le traitement. Ce guide apporte des mises à jour sur la stadification de carcinomes de la tête et du cou, de la thyroïde, de l'oesophage, de l'estomac, du canal anal, du poumon, de la plèvre, de la peau, de l'ovaire, de la prostate, de la verge et du cortex surrénalien, ainsi que des tumeurs neuroendocrines et des sarcomes des os et des parties molles. De nouvelles classifications sont introduites pour les carcinomes oropharyngés p16 positifs, les carcinomes du thymus, les carcinomes neuroendocrines du pancréas, les sarcomes osseux de la colonne vertébrale et du bassin, et les sarcomes des tissus mous de la tête et du cou, des viscères intrathoraciques et intra-abdominaux et du rétropéritoine. Pour faciliter l'enregistrement des données sur le stade en vue de la surveillance du cancer dans les pays à revenu faible et intermédiaire, l'UICC a entrepris avec d'autres organisations de développer un nouveau système de classification, "Essential TNM". Il est présenté dans le cas des carcinomes du côlon et du rectum, du sein, de l'utérus et de la prostate. Une classification simplifiée des tumeurs pédiatriques est aussi présentée, avec le même objectif. L'organisation claire et uniforme des chapitres, présentant successivement les localisations anatomiques, la classification clinique TNM, la classification histopathologique, le grade histopathologique, le groupement par stades et, le cas échéant, les nouveaux groupements pronostiques permet un accès rapide aux informations clés. Un nouveau format et l'usage de la couleur facilitent l'utilisation de cet outil indispensable par tous les médecins et chirurgiens oncologues, les radiothérapeutes, les anatomopathologistes, et l'ensemble du personnel paramédical travaillant en oncologie. Ce guide peut aussi être utile pour les centres de soins contre le cancer, les organisations gouvernementales et les ONG dédiées à la lutte contre le cancer.Sur commande, 4 à 6 joursCOMMANDER38,00 € -

COURS D'ALGEBRE. Primalité, divisibilité, codes
Demazure MichelDisciplines plus que bimillénaires, l'algèbre et l'arithmétique ont connu récemment des applications aussi spectaculaires qu'inattendues. Comment décomposer un nombre en facteurs premiers, comment reconnaître si un nombre est premier : ces questions, revivifiées par l'existence des moyens modernes de calcul, se retrouvent aujourd'hui au cœur des procédés de cryptographie les plus récents. La numérisation du stockage et de la transmission de l'information utilise les codes correcteurs, application surprenante des corps finis inventés par Galois. A côté de cette application moderne d'une théorie classique, les ordinateurs, dans d'autres domaines, sont en train de modifier la conception que l'on a de l'algèbre. Le livre de Michel Demazure s'inscrit dans ce mouvement, et l'enseignement de l'algèbre va certainement évoluer pour une part dans la direction qu'il indique. Issu d'un enseignement à l'Ecole polytechnique, ce Cours d'algèbre est accessible à des étudiants de licence ou à de bons élèves de classes préparatoires. Il rendra de grands services aux agrégatifs. Il peut inspirer des cours d'algèbre d'un style nouveau à l'Université ou dans les écoles d'ingénieurs. La première partie traite d'abord de l'analyse des algorithmes, puis de l'arithmétique classique et de la transformation de Fourier rapide, avec comme objectif la construction de tests performants de reconnaissance des nombres premiers. La deuxième partie est consacrée à la théorie élémentaire des anneaux commutatifs, notamment à la divisibilité. La troisième partie, après une introduction aux corps finis et à la théorie cyclotomique, présente un exposé détaillé de leurs applications aux codes correcteurs. Ce livre contient 281 exercices avec solutions, dont un grand nombre comporte des calculs sur ordinateur.ÉPUISÉVOIR PRODUIT30,50 €
De la même catégorie
-

Algorithmes. Notions de base
Cormen ThomasConnaître les bases du fonctionnement des algorithmes est essentiel pour tout futur "ingénieur" . Savoir par exemple comment un GPS calcule et optimise un itinéraire en quelques secondes, ou comment une transaction en ligne peut-être cryptée et sécurisée. Certains livres sur les algorithmes sont très abstraits, d'autres au contraire proposent des trucs et astuces pour programmer. Celui-ci est entre les deux: il a parfois recours aux mathématiques pour expliquer certaines notions, mais elles ont été réduites au strict minimum, et aucune expérience de la programmation n'est requise. Le but de ce livre est d'expliquer comment fonctionnent les algorithmes et comment on peut les évaluer. Il explique également comment modéliser un problème de façon à ce qu'il puisse être résolu par un ordinateur.ÉPUISÉVOIR PRODUIT25,71 € -

Mathématiques Licence 1 CAPES. Tout le cours en fiches, 2e édition
David Claire ; Mustapha SamiRésumé : Cet ouvrage fait la synthèse en 110 fiches des résultats et définitions essentiels enseignés en Licences de Mathématiques ou de Sciences de la Matière (niveau 1). La présentation est adaptée aux besoins des étudiants préparant un examen ou un concours : fiches synthétiques pour aller à l'essentiel, exemples d'application et exercices d'entraînement avec corrigés détaillés. Cette seconde édition s'enrichit de nouveaux exercices ainsi que de nouveaux focus.ÉPUISÉVOIR PRODUIT34,80 € -

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 € -

Maths PTSI. Tout-en-un
Coulaud OlivierUn livre de mathématiques complet et efficace pour assurer sa réussite en PTSI ! Ce Tout-en-un de mathématiques comprend pour chaque chapitre : - Le lien entre les notions du chapitre et le programme avec renvoi aux exercices concernés - Un cours complet enrichi de conseils méthodologiques, de démonstrations et de nombreux exemples pour maîtriser parfaitement le programme et acquérir les capacités exigées - Des fiches de synthèse pour réviser avant les colles - Plus de 600 exercices de difficulté progressive : Vrai/faux, application, approfondissement et problèmes de concours pour tester sa compréhension du cours et s'entraîner aux écrits comme aux oraux - Des aides au démarrage des exercices pour aider l'élève s'il bloque sur une question difficile - Tous les corrigés détaillés. La collection "Vuibert Prépas scientifiques" a été conçue par des auteurs au coeur de l'enseignement et répond totalement aux attentes des élèves en prépas. + en ligne : Des exercices supplémentaires et des approches transversales avec Python.ÉPUISÉVOIR PRODUIT47,90 €
