Logique mathématique. Tome 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats
46,19 €
Épuisé
EAN :
9782100825141
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. 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.
Catégories
| Nombre de pages | 385 |
|---|---|
| Date de parution | 15/02/2021 |
| Poids | 697g |
| Largeur | 170mm |
Plus d'informations
| EAN | 9782100825141 |
|---|---|
| Titre | Logique mathématique. Tome 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats |
| Auteur | Cori René ; Lascar Daniel ; Krivine Jean-Louis |
| Editeur | DUNOD |
| Largeur | 170 |
| Poids | 697 |
| Date de parution | 20210215 |
| Nombre de pages | 385,00 € |
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
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.ÉPUISÉVOIR PRODUIT47,00 € -
Logique mathématique. Tome 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théori
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.
Privatisations, 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 €
Du même éditeur
-
Apprendre à apprendre. Un peu de psychologie cognitive pour les pros qui veulent optimiser leur pote
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 € -
Jérusalem 1900. La ville sainte à l'âge des possibles
Résumé : Jérusalem n'a pas toujours été un champ de bataille. A l'orée du XX e siècle, une autre histoire s'est dessinée, portée par l'émergence d'une identité citadine partagée, loin des dérives communautaristes qui semblent aujourd'hui l'emporter. Cette histoire a longtemps été oubliée et mérite à elle seule d'être racontée. On y croise un maire arabe polyglotte, un député ottoman franc-maçon, des Juifs levantins, mais aussi des archéologues occidentaux occupés faire ressurgir les lieux saints d'une " Jérusalem biblique " fantasmée. Restituant une période exceptionnelle, Vincent Lemire invite à se souvenir de cet " âge des possibles " et livre quelques clés pour mieux comprendre le présent et envisager l'avenir. "Il fut un temps, pas si lointain, où Jérusalem était un modèle de cohabitation entre les communautés. [... ] C'est ce que rappelle Vincent Lemire, dans son ouvrage très documenté sur Jérusalem en 1900". Le ParisienSur commande, 2 à 4 joursCOMMANDER9,95 € -
Chimie organique
Résumé : Les ouvrages de la série "TD" répondent à trois objectifs : "Apprendre" : un résumé du cours met en lumière l'essentiel de ce qu'il faut savoir. Il est suivi de tests de connaissances. "Comprendre " : des questions de réflexion structurent les connaissances, en dégageant des idées générales, et leur donnent du sens, en les mettant en relation. Cette étape est essentielle pour favoriser une mémorisation intelligente et durable. "Appliquer" : des exercices d'entraînement permettent de se préparer à l'examen. Leur énoncé est suivi de conseils pour les aborder et leurs solutions détaillées mettent l'accent sur le raisonnement et la méthode à mettre en oeuvre. Cet ouvrage s'adresse aux étudiants du premier cycle (Licence 1re et 2e années, PCEM, PCEP, BTS, IUT...). Il couvre en 12 chapitres et 182 questions et exercices les bases de la chimie organique : structure des molécules ; stéréochimie ; mécanismes réactionnels ; hydrocarbures et fonctions simples.Sur commande, 2 à 4 joursCOMMANDER25,45 € -
Liberté pour apprendre. 3e édition
Carl R. Rogers, fondateur de l'approche "centrée sur la personne", présente dans ce livre un exposé de sa conception pédagogique. Rogers est incontestablement un "anti-professeur" - au sens où certains psychiatres se réclament de l'"anti-psychiatrie". Pour lui, l'enseignant ne doit pas être "un maître à penser" mais plutôt un "facilitateur d'apprentissage". Il faut réformer l'institution scolaire pour qu'elle cesse d'être un cadre susceptible d'entraver l'individu et devienne au contraire un environnemnet qui mettrait l'élève au défi de s'inventer lui-même. Un classique unanimement salué depuis sa parution par l'ensemble de la communauté éducative.ÉPUISÉVOIR PRODUIT20,20 €
De la même catégorie
-
Algorithmes. Notions de base
Connaî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
Ré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
Ce 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
Un 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 €
