
La théorie des modèles en peu de maux
Lascar Daniel
CASSINI
40,00 €
Sur commande en 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 € |
| Disponibilité | Sur commande en 4-6 jours |
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 dès 3,90 €
Facile et sans frais Retrait gratuit en magasin
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 commande en 6-10 joursCOMMANDER45,00 € -

Logique mathématique. Tome 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats
Cori René ; Lascar Daniel ; Krivine Jean-LouisDans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.EpuiséVOIR PRODUIT46,19 € -

Logique mathématique. Tome 2, Fonctions récursives, théorème de Gödel, théorie des ensembles
Cori René ; Lascar Daniel ; Krivine Jean-LouisCe deuxième tome est plus particulièrement 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.Sur commande en 2-4 joursCOMMANDER54,35 € -

Post-scriptum
Lascar SergeAmours, balades, folies et fantaisies, enfance éparpillée au gré de notre histoire, les souvenirs s'égarent en chemins de mémoire. Effeuillés en poèmes comme autant de témoins, d'instants d'éternité, ils habitent nos rêves, y peignent des visages. Sidérés par les scènes de rue, les explosions, baignés des impressions dont nos regards d'enfants ne saisissent le sens, moins encore la portée, nous parcourons la vie sans y être jamais, de face, confrontés. Apprendre et enseigner les choses des savoirs, se convaincre au matin du choix de nos destins. Soigner et prendre soin, tromper ou se tromper, réussir parfois à saisir un sourire, celui que j'aimerais écrire en souvenir. Education, psychanalyse, poésie... Sans terre ni racines, mon errance s'est nourrie d'histoires en faux-semblant, de sensations brûlantes sur fond d'images effrayantes, en d'autres temps mystérieuses, séduisantes, intimes et secrètes à la fois. Charme discret des émotions, la musique des rimes m'a conduit aux croisées des chemins de rencontre, des hymnes endeuillés, des passions éternelles offertes à l'évidence sans promesses en retour.Sur commande en 2-4 joursCOMMANDER15,55 €
Du même éditeur
-

Oraux de l'Ecole polytechnique et des Ecoles normales supérieures. Mathématiques Volume 1
Francinou Serge ; Gianella Hervé ; Nicolas SergeCe volume inaugure la nouvelle édition des Oraux X-ENS de Serge Francinou, Hervé Gianella et Serge Nicolas, conforme au programme de 2014. les sept premiers volumes d'exercices correspondent à ce programme, et un huitième volume reprendra des sujets qui sont désormais hors programme, mais qui sont toujours d'actualité pour l'agrégation. Comme on le verra, les auteurs ont tenu à rédiger les solutions les plus pédagogiques possibles, essayant d'exposer clairement les idées et les démarches de raisonnement. Ces solutions sont en même temps des solutions complètes, et n'escamotent ni les détails ni les calculs, car le candidat est aussi jugé sur sa maitrise des outils que le programme met à sa disposition. Ce premier volume, qui comporte un tiers d'exercices nouveaux, est consacré à l'algèbre générale (combinatoire, groupes, anneaux, corps, arithmétique, polynômes) et aux éléments de base de l'algèbre linéaire (espaces vectoriels, algèbres).Sur commande en 4-6 joursCOMMANDER32,00 € -

Oraux de l'Ecole polytechnique et des Ecoles normales supérieures. Mathématiques Volume 2
Francinou Serge ; Gianella Hervé ; Nicolas SergeCe volume est le deuxième de la nouvelle édition des Oroux X-ENS de Serge Francinou, Hervé Gianella et Serge Nicolas, conforme au programme de 2014. les sept premiers volumes d'exercices correspondent à ce programme, et un huitième volume reprendra des sujets qui sont désormais hors programme, mais qui sont toujours d'actualité pour l'agrégation. Comme on le verra, les auteurs ont tenu à rédiger les solutions les plus pédagogiques possibles, essayant d'exposer clairement les idées et les démarches de raisonnement. Ces solutions sont en mime temps des solutions complètes, et n'escamotent ni les détails ni les calculs, car le candidat est aussi jugé sur sa maîtrise des outils que le programme met à sa disposition. Ce volume, qui comporte 40 % d'exercices nouveaux, est consacré à l'algèbre linéaire : matrices, déterminants, réduction des endomorphismes, groupe linéaire.Sur commande en 4-6 joursCOMMANDER32,00 € -

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 en 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 en 4-6 joursCOMMANDER24,00 €
De la même catégorie
-

Mathématiques. Licence, prépas, Capes, 3e édition
Fredon DanielCet aide-mémoire est principalement destiné aux étudiants en Licence, aux élèves de classes préparatoires ainsi qu'aux candidats au CAPES et à l'agrégation de mathématiques.• Complet, il regroupe sous forme condensée plus de 1 000définitions, formules et résultats du programme d’analyse, d’algèbre, de géométrie et de probabilités ;• Pratique, il permet, grâce à sa table des matières et à son index, de retrouver facilement les éléments utiles à la résolution d’un problème.Des remarques, mises en garde et conseils insérés dans le texte contribuent à faire de cet ouvrage un outil de travail indispensable.EpuiséVOIR PRODUIT21,00 € -

Statistique et probabilités pour les ingénieurs. 3e édition
Veysseyre RenéeIntégralement révisée, cette 3e édition rassemble toutes les définitions, lois et formules du calcul des probabilités et de la statistique utiles à l'ingénieur en activité aussi bien qu'à l'étudiant en formation. La première partie donne les principales définitions et propose un résumé de tous les résultats que l'on peut obtenir à partir d'un tableau de données. La deuxième partie donne le vocabulaire du calcul des probabilités et étudie les principales lois discrètes et continues. La troisième partie traite des problèmes rencontrés par l'ingénieur dans le domaine de la décision : échantillonnage, estimation et tests d'hypothèse, tests de comparaison, tests d'ajustement, régression.Sur commande en 2-4 joursCOMMANDER52,75 € -

Mécanique analytique. Adiabaticité, résonances, chaos
Rax Jean-MarcelDans cet ouvrage sont présentés les outils et méthodes de la mécanique analytique classique, ainsi que les acquis récents tels que la transition vers le chaos et la description cinétique. L’articulation entre le formalisme lagrangien et hamiltonien, et les spécificités des méthodes asymptotiques de la théorie des perturbations sont développées. Enfin, les connexions avec les descriptions quantique et statistique sont analysées.Sur commande en 2-4 joursCOMMANDER40,75 € -

Tous les pré-requis pour réussir en Licence de Sciences. Maths pour les sciences, physique, chimie,
Etienne ThibaudUn Tout-En-Un pour maîtriser les attendus et réussir son entrée en Licence de Sciences ! Vous avez fait le choix de suivre un cursus scientifique à l’université ...Cet ouvrage est fait pour vous ! En couleur et très illustré, il vous permettra d’acquérir les bases méthodologiques et scientifiques nécessaires et attendues pour intégrer une Licence 1 de sciences dans les meilleures conditions. Il vous accompagnera lors de cette année clef de transition entre le lycée et l’université, pour démarrer sereinement vos études supérieures en sciences.Les plus :• Les notions fondamentales à maîtriser.• Un manuel visuel avec de nombreux exemples.• Une partie méthodologie scientifique et des encarts mettant l’accent surles bonnes pratiques.• Une section dédiée aux outils mathématiques nécessaires aux autres disciplines.Le public :Étudiants en Licence 1 de Physique, de Chimie, de Sciences de la vie, de Sciences de la Terre, ou en Licence 1 Plurisciences.EpuiséVOIR PRODUIT23,00 €
