
Introduction à la logique. Théorie de la démonstration, 2e édition
David René ; Nour Karim ; Raffalli Christophe ; Cu
DUNOD
39,70 €
Épuisé
EAN :
9782100806324
Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d'exercices avec leurs corrigés sont proposés en fin de chapitres. Une annexe présente un assistant de démonstration, le logiciel PhoX, réalisé par l'un des auteurs. Ce logiciel ainsi que des compléments aux corrigés sont disponibles sur le site Web des auteurs.
Catégories
| Nombre de pages | 368 |
|---|---|
| Date de parution | 28/08/2019 |
| Poids | 646g |
| Largeur | 170mm |
Plus d'informations
| EAN | 9782100806324 |
|---|---|
| Titre | Introduction à la logique. Théorie de la démonstration, 2e édition |
| Auteur | David René ; Nour Karim ; Raffalli Christophe ; Cu |
| Editeur | DUNOD |
| Largeur | 170 |
| Poids | 646 |
| Date de parution | 20190828 |
| Nombre de pages | 368,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
-

Introduction à la logique. Théorie de la démonstration, 2e édition
David René ; Nour Karim ; Raffalli Christophe ; CuCe cours est une introduction à la logique mathématique et, en particulier, la théorie de la démonstration. On y donne la réponse du mathématicien aux questions « qu'est-ce qu'un énoncé? une démonstration? » ou, plus fondamentalement, « qu'est-ce que les mathématiques? », en l'illustrant par de nombreux exemples de mathématiques courantes. Il aborde également la logique intuitionniste qui donne des preuves constructives et les techniques de base de la démonstration automatique. Ces notions sont essentielles en informatique. Ce livre s'adresse aux étudiants de licence et de maîtrise. Il ne suppose aucun pré requis en logique. Il pourra aussi intéresser les étudiants qui préparent le Capes et l'Agrégation et veulent pouvoir répondre aux questions de fond de leurs futurs élèves. Le premier chapitre est conçu pour pouvoir être lu et travaillé avec profit par les étudiants de DEUG MIAS qui veulent apprendre à raisonner correctement.ÉPUISÉVOIR PRODUIT38,70 € -

Les grands systèmes de droit contemporains. 12e édition
David René ; Jauffret-Spinosi Camille ; Goré MarieRésumé : Le développement de plus en plus grand des relations internationales n'autorise plus le juriste d'aujourd'hui à se limiter à la seule connaissance de son droit national. A l'heure de l'européanisation, voire de la mondialisation, l'appréhension des systèmes de droit dans le monde est nécessaire pour mener à bien la réflexion vers un éventuel rapprochement des droits. Les grands systèmes de droit contemporains ont, depuis plus de trente ans, permis à de nombreux juristes français et étrangers, étudiants et praticiens, de découvrir les différentes familles de droits existant dans le monde. La traduction en onze langues de cet ouvrage, par delà la connaissance des systèmes étrangers, a contribué à une meilleure compréhension entre les juristes de divers horizons. Il demeure l'ouvrage fondamental de tous ceux qui, pour mieux connaître leur propre système, s'interrogent sur les autres droits.Sur commande, 2 à 4 joursCOMMANDER44,00 € -

Les démonstrations mathématiques. Cours complet avec 127 exercices résolus
David René ; Hyvernat Pierre ; Nour Karim ; RaffalRésumé : Préface de Gilles Dowek. Ce livre présente les règles qui permettent de faire les démonstrations mathématiques. Les exemples et exercices corrigés permettent de les illustrer sur preuves tirées des programmes d'enseignement des premières années universitaires. Il s'adresse aux enseignants de mathématiques du secondaire, étudiants et candidats aux concours d'enseignement en mathématiques.Sur commandeCOMMANDER35,00 €
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 €

