
Introduction à la logique. Théorie de la démonstration, 2e édition
David René ; Nour Karim ; Raffalli Christophe ; Cu
DUNOD
39,70 €
Epuisé
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 € |
| Disponibilité | Epuisé |
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
-

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.EpuiséVOIR PRODUIT38,70 € -

Les grands systèmes de droit contemporains. 12e édition
David René ; Jauffret-Spinosi Camille ; Goré MarieLe 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 en 2-4 joursCOMMANDER44,00 € -

Les démonstrations mathématiques. Cours complet avec 127 exercices résolus
David René ; Hyvernat Pierre ; Nour Karim ; RaffalPré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 commande en 6-10 joursCOMMANDER35,00 €
Du même éditeur
-

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

Naissance à la vie psychique. 3e édition
Ciccone Albert ; Lhopital MarcFondé sur une très riche expérience clinique et sur la recension des travaux psychanalytiques, cet ouvrage présente et analyse les modalités de constitution et de développement de la vie psychique. Texte réactualisé à l'occasion de cette 3e édition.EpuiséVOIR PRODUIT36,90 € -

Ethique clinique. L'éthique clinique en 10 repères méthodologiques ; L'éthique clinique en 10 cas
Fournier Véronique ; Foureur NicolasCet ouvrage a vocation à être utile à tous les soignants, dès lors qu’ils sont confrontés dans leur pratique quotidienne à des décisions médicales qui les interpellent au plan éthique et qu’ils veulent pouvoir y voir plus clair, pour participer à leur juste place à la décision à prendre, en assumant leur part de responsabilité. L’ouvrage utilise un langage simple, clinique, abordable pour tous. La question n’est pas de proposer des développements théoriques pour justifier les fondements éthiques des décisions. Tout au plus propose-t-on des encarts : « Pour aller plus loin », donnant quelques références plus académiques permettant au lecteur qui le souhaite d’approfondir un point ou un autre. Par contre, on trouve dans le manuel des check-lists, permettant d’être un peu systématique dans la procédure d’instruction éthique d’un cas singulier, afin de ne pas oublier une étape ou une question importante, et aussi pour être au clair avec les grands repères éthiques qui balisent et encadrent la pratique soignante.EpuiséVOIR PRODUIT28,15 €
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 €

