
Théorie des ensembles
Née il y a un siècle de l'esprit de Cantor, la théorie des ensembles fascine toujours les mathématiciens. En leur offrant un cadre axiomatique universel, elle témoigne de l'unité profonde des mathématiques. Ce livre expose les bases d'une théorie qui est devenue un vaste domaine de recherches, aux applications variées. Une présentation des axiomes usuels de la théorie des ensembles de Zermelo-Fraenkel (ZF), ainsi que des notions fondamentales d'ordinal et de cardinal, amène naturellement à la question essentielle: quels axiomes raisonnables peut-on ajouter à la théorie ZF sans la rendre contradictoire? C'est le problème de la consistance relative. Dans la première partie, on résout ce problème pour l'axiome du choix et l'hypothèse du continu, suivant la méthode des modèles intérieurs. On y trouvera également une preuve inédite et particulièrement élégante du second théorème d'incomplétude de Gödel. La seconde partie est consacrée à la méthode du forcing et à ses applications; entre autres le célèbre résultat de Cohen sur l'indépendance de l'hypothèse du continu, et le théorème de Solovay sur la non-contradiction de l'axiome: "Tout ensemble de réels est mesurable". Complété par une importante série d'exercices avec des indications détaillées, cet ouvrage s'adresse aussi bien aux étudiants de master et de doctorat qu'aux enseignants et chercheurs en mathématiques, ainsi qu'à tous ceux qu'intéresse la philosophie des mathématiques.
| Nombre de pages | 271 |
|---|---|
| Date de parution | 17/08/2007 |
| Poids | 562g |
| Largeur | 158mm |
| SKU: | 9782842250966 |
| wmi_id_distributeur: | Not set |
| Is Salable (from plugin): | Yes (In Stock) |
| Is Salable (direct MSI check): | Yes (In 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 | 9782842250966 |
|---|---|
| Titre | Théorie des ensembles |
| Auteur | Krivine Jean-Louis |
| Editeur | CASSINI |
| Largeur | 158 |
| Poids | 562 |
| Date de parution | 20070817 |
| Nombre de pages | 271,00 € |
Pourquoi choisir Molière ?
Du même auteur
-

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

Chat GPT, une intelligence sans pensée
Krivine Hubert ; Ganascia Jean-GabrielRésumé : L'intelligence artificielle moderne opère essentiellement par induction, c'est-à-dire anticipe le nouveau à partir d'extrapolations de l'ancien. Mais cet " ancien issu des big data, même fort de milliards de données répertoriées s'enrichissant en permanence, est loin d'épuiser le monde réel, infiniment plus vaste. Autrement dit, la carte n'est jamais le territoire et la musique ne se réduit pas à la partition. Même s'il salue l'apport gigantesque de l'IA dans bien des domaines, cet essai tente d'en fixer aujourd'hui les limites intrinsèques. Limites d'autant plus vite atteintes que le domaine d'application dépend fortement de son environnement et de son histoire.ÉPUISÉVOIR PRODUIT12,00 € -
Carnets de missions au Vietnam (1967-1987). Des maquis au "socialisme de marché"
Krivine Jean-MichelLe Docteur Krivine, chirurgien en région parisienne, a été conduit à participer aux travaux du Tribunal Russell et à aller enquêter au Vietnam sur les atrocités subies par la population du fait des bombardements américains. II se rendra deux fois dans le Vietnam en guerre en 1967, dan le Nord du pays et jusqu'au 17e parallèle ; puis, la même année dans les zones du Sud contrôlées par les combattants du F.N.L L'auteur retournera à plusieurs reprises dans le Vietnam unifié de 1975 à 1987, développant des liens étroits avec les médecins vietnamiens, mais analysant sans concessions les problèmes du pays dans la paix retrouvée. Ces Carnets fournissent un témoignage original et direct - ils ont été rédigés à chaud, et sont publiés intégralement sur uni tranche de l'histoire du Vietnam. Leur force vient sans conteste de la personnalité de l'auteur, doublement engagé par sa profession et par son militantisme politique.ÉPUISÉVOIR PRODUIT34,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 €
Du même éditeur
-
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.ÉPUISÉVOIR PRODUIT38,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 ?ÉPUISÉVOIR PRODUIT24,00 € -
Statistique : méthodes et applications avec le logiciel r
Chesneau ChristopheÉPUISÉVOIR PRODUIT30,00 €
De la même catégorie
-
Maths pour les licences de Maths, Informatique, Physique, Chimie. Edition 2019
Cottet-Emard FrançoisCet ouvrage récapitule toutes les mathématiques apprises dans l'enseignement secondaire qu'il faut maîtriser pour débuter une licence scientifique à l'Université (maths, physique, chimie). Il s'inscrit dans le processus de renforcement des étudiants, en première année, dans le cadre des admissions dans ParcourSup (et les fameux OUI si). Il reprend les éléments de logique et de raisonnement, toutes les formules importantes, tous les grands théorèmes vus au lycée en algèbre, analyse, géométrie et probabilités. Chaque fiche contient : Des rappels de cours : définitions, théorèmes, formules importantes. Des points de méthodologie et des conseils. Des exemples pour illustrer les notions ou apprendre à résoudre les questions. Des exercices et leurs corrigés détaillés.EN STOCKCOMMANDER19,00 € -
Des mots & des maths
Tenenbaum GéraldCorps, dérivée, matrice, racine, spectre... Les mathématiques s'expriment avec le langage commun, mais qu'expriment-elles au juste ? A partir de 30 mots qui, un jour ou l'autre, nous ont tous interrogés, ce livre nous propose un voyage en quête du sens profond des mathématiques. La dérivée est certes une dérive, mais dans quel espace ? Et la racine (carrée) puise dans un autre niveau de réalité, mais lequel au juste ? La pensée la plus abstraite, même si elle est parfois contrainte d'inventer son propre vocabulaire, emprunte tout naturellement au langage ordinaire. En analysant les mots des maths aux prismes de l'histoire, de la littérature et de la linguistique, l'auteur dévoile quelque chose du rapport des mathématiques au monde profane. Loin de l'idée reçue d'une discipline réputée austère et impénétrable, une approche des mathématiques séduisante et ludique.ÉPUISÉVOIR PRODUIT23,75 € -
Analyse MPSI/PCSI 1re année. Cours, exercices corrigés, 2e édition
Costantini GillesRésumé : Le texte écrit dans un style clair et détaillé permet à tous les étudiants, quel que soit leur niveau, de suivre pas à pas les démonstrations. De nombreuses figures facilitent la compréhension des notions abordées. Pour chaque chapitre, des questions de cours et des exercices systématiquement corrigés de façon très détaillée permettent de vérifier les acquis. Des repères historiques accompagnent la progression : les théorèmes et résultats sont datés, les sources sont indiquées et des notices biographiques évoquent les faits marquants de la vie des mathématiciens cités. L'ouvrage propose des compléments destinés aux lecteurs souhaitant un approfondissement du programme officiel. L'ouvrage intéressera également les étudiants de licence ainsi que les candidats au CAPES et à l'agrégation.ÉPUISÉVOIR PRODUIT37,50 € -
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 €








