
Logique mathématique. Tome 2, Fonctions récursives, théorème de Gödel, théorie des ensembles
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'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.
| Nombre de pages | 368 |
|---|---|
| Date de parution | 04/02/2020 |
| Poids | 638g |
| Largeur | 170mm |
| EAN | 9782100807703 |
|---|---|
| Titre | Logique mathématique. Tome 2, Fonctions récursives, théorème de Gödel, théorie des ensembles |
| Auteur | Cori René ; Lascar Daniel ; Krivine Jean-Louis |
| Editeur | DUNOD |
| Largeur | 170 |
| Poids | 638 |
| Date de parution | 20200204 |
| Nombre de pages | 368,00 € |
Pourquoi choisir Molière ?
Du même auteur
-

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

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

GRANDEUR AU GOUFFRE SCANDALES FINANC.
CORIPrivatisations, financement des retraites, actionnariat individuel ; la Bourse joue un rôle économique croissant. Mais l'eldorado promis tourne parfois au scandale. Vivendi, Enron, Parmalat et Worldcom en sont des exemples emblématiques. Pourquoi ces scandales? Pourquoi des entreprises unanimement jugées saines, idolâtrées par les analystes financiers, se révèlent-elles être en faillite ou quasi-faillite? Quel rôle ont joué leurs P-DG, royalement rémunérés? Peut-on éviter de tels fiascos, qui minent la confiance dans la Bourse? Pour mieux comprendre, l'auteur mène l'enquête et décortique les quatre scandales récents les plus retentissants. Il met à jour l'enchaînement fatal des faits, mythes et fautes, jusqu'à la chute finale. Et demain? En dépit du bruit causé par ces scandales et les inévitables procès, rien n'a vraiment changé.Sur commandeCOMMANDER15,31 € -

Langages N° 171, Septembre 2008 : Construction des faits en linguistique : la place des corpus
Cori Marcel ; David Sophie ; Léon Jacqueline ; DalÉPUISÉVOIR PRODUIT20,20 €
Du même éditeur
-

Aromathérapie. 100 huiles essentielles, 2e édition
Baudoux Dominique ; Maraï RachidRésumé : Ce manuel d'aromathérapie scientifique propose une information pratique et rigoureuse destinée au monde médical et paramédical des soignants, et plus largement à tous les intervenants dans le domaine du bien-être. Ce qu'il faut connaître en termes de botanique, de critères de qualité, de biochimie et de toxicité est exposé, mais sans jamais perdre de vue le résultat escompté : un soulagement, voire une guérison durable. L'ouvrage propose un nombre particulièrement élevé de formules validées pour aborder et traiter un symptôme, une maladie ou un terrain de patient. Les huiles essentielles intègrent de fait une multitude de domaines de la santé, tant leurs propriétés sont diverses et variées. La composition moléculaire de ces quintessences végétales est complexe et réduire leurs actions à la seule biochimie serait oublier d'autres modes d'activités bien plus subtils : les actions énergétiques et informationnelles (via l'olfaction et le tissu cutané). Ce livre est une invitation à approfondir ses connaissances en aromathérapie par un enseignement de qualité ouvrant l'accès à ce monde mystérieux et captivant des huiles essentielles. Leur rencontre est rarement anodine et ces "belles personnes" sauront vous séduire pour vous accompagner au quotidien dans votre art de guérir.Sur commande, 2 à 4 joursCOMMANDER41,80 € -

Superintelligence
Bostrom Nick ; Parot FrançoiseRésumé : Que se passera-t-il quand les machines surpasseront l'intelligence humaine ? Les robots vont-ils nous sauver ou nous détruire ? Isaac Asimov l'avançait dès 1942 avec ses trois lois de la robotique : l'intelligence artificielle doit être contrôlée au plus profond de ses fondements pour qu'elle ne puisse jamais s'attaquer à l'Homme. Mais comment s'assurer qu'une superintelligence ne se révèlera pas hostile à la survie de l'humanité ? Dans cet ouvrage unique, best-seller international traduit en dix-neuf langues, Nick Bostrom nous révèle les difficultés que la recherche d'une intelligence supérieure va nous poser et comment les résoudre. Il s'agit sans doute du plus grand défi auquel l'humanité aura à faire face. Il faut s'y préparer.Sur commande, 2 à 4 joursCOMMANDER12,95 € -

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

Apprendre à apprendre. Un peu de psychologie cognitive pour les pros qui veulent optimiser leur pote
Alincourt Florence ; Even Naïla ; Lasance Daphné ;Apprendre à apprendre est la compétence du XXIe siècle pour s'adapter dans un monde en transition. Dans une société qui ne cesse d'évoluer, où nos métiers se réinventent et se transforment, notre capacité d'adaptation est plus que jamais une nécessité. Développer de nouvelles compétences, être innovant dans ses pratiques, gagner en expertise ou encore se reconvertir sont des enjeux primordiaux. Et tous impliquent le même processus : apprendre. Tout changement, qu'il soit sociétal, environnemental, organisationnel ou technologique, invite à de nouveaux apprentissages. Dans la peau de professionnels, explorez à travers ce livre six facettes essentielles de l'apprentissage (la motivation, l'organisation, l'attention, les stratégies d'apprentissage individuelles et collectives ainsi que la métacognition) et levez le voile sur les blocages liés à notre façon d'apprendre pour entrer dans une dynamique d'amélioration continue afin d'apprendre à apprendre.EN STOCKCOMMANDER18,60 €
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 €
