Introduction à la logique - théorie de la demonstration - 3e année de licence, master, capes, agrégation - cours et exercices corrigés (2e édition) (2e édition)

René David (Auteur), Karim Nour (Auteur), Christophe Raffalli (Auteur)

voir tout

Descriptif détaillé

media/pim/TITELIVE/25_9782100067961_1_75.jpg

media/pim/TITELIVE/26_9782100067961_4_75.jpg

Introduction à la logique - théorie de la demonstration - 3e année de licence, master, capes, agrégation - cours et exercices corrigés (2e édition) (2e édition)

Vendu et expédié par : Recyclivre

Occasion : Bon état

en stock vendeur

Livraison 0.00€ à domicile dès le 00/00/00

description

descriptif du fournisseur

Cet ouvrage, entièrement révisé dans cette seconde édition, est un cours introductif à la logique mathématique et, en particulier, la théorie de 1a 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.
Pour aider le lecteur dans sa compréhension, ce cours contient de nombreux exemples et près de 170 exercices corrigés. Une annexe présente un assistant de démonstration, le logiciel PhoX, écrit par l'un des auteurs. Des compléments aux corrigés (preuves complètement formalisées ou réalisées avec le logiciel PhoX) ainsi que le logiciel Phox, sont disponibles sur le site des auteurs. Ce livre, qui ne suppose aucun prérequis en logique, s'adresse plus particulièrement aux étudiants en troisième année de Licence ou en Master.
II pourra également intéresser les candidats au CAPES et à l'agrégation.

Introduction à la logique - théorie de la demonstration - 3e année de licence, master, capes, agrégation - cours et exercices corrigés (2e édition) (2e édition)

Introduction à la logique - théorie de la demonstration - 3e année de licence, master, capes, agrégation - cours et exercices corrigés (2e édition) (2e édition)

René David, Karim Nour

On vous recommande avec votre achat

Introduction à la logique - théorie de la demonstration - 3e année de licence, master, capes, agrégation - cours et exercices corrigés (2e édition) (2e édition)

Introduction à la logique - théorie de la demonstration - 3e année de licence, master, capes, agrégation - cours et exercices corrigés (2e édition) (2e édition)

9,04€

+

voir mon panier

Découvrez aussi

Livre Mathématiques Livre science et culture scientifique Livre Sciences Humaines Livre

Livre science et culture scientifique

Livre Mathématiques • Livre Physique • Livre Chimie • Livre sciences de la vie • Livre science de la terre • Livre Astronomie

Livre Sciences Humaines

Livre Religions et Spiritualité • Livre Sociologie • Livre Philosophie • Livre Pédagogie • Livre Psychologie • Livre science et culture scientifique • Ecologie • Coups de cœur : Sciences humaines • Livres éthnologie • Livres Anthropologie ...

... Livre Psychanalyse • Esotérisme

Livre

Meilleures ventes : Livre • Nouveautés : Livre • Précommandes : Livre • Livres Audio • Livres universitaires • Sport - Loisir - Nature • Livres scolaires • Livre Vie Pratique • Art - Culture - Société • Livres pour ados et jeunes adultes ...

... Mangas • Comics • BD • Romans littérature • Coups de cœur : Livre • Booktok • Meilleurs Livres 2022 • Livres à prix réduits • Les lectures qui font du bien • Livres d'occasion • Journée mondiale de l'environnement : notre sélection Livres ...

... Livres formation professionnelle • Biographies et autobiographies • Livre Actualité, Politique et Société • Livre Histoire et Géographie • Livres d'Art • Livre Sciences Humaines • Meilleurs livres 2023 • Livre tourisme et voyage ...

... Le meilleur du livre en 2024 • Livre Saint-Valentin • Auteurs • Des chats et des hommes • Livres Mythologie • Les livres à lire une fois dans sa vie • Livres VO • Policiers thrillers polars • SF Fantasy fantastique • Livres pass culture ...

... Accessoires de lecture • Meilleurs livres 2025

Produits similaires

Dicobat visuel, dictionnaire illustré du bâtiment (5e édition) • Atlas Netter d'anatomie humaine • Le corps n'oublie rien : Le cerveau, l'esprit, le corps dans la guérison du traumatisme • L'A.B.C. du froid - je monte, j'entretiens, je dépanne... (3e édition) ...

... Anatomie à colorier Netter (3e édition) • Construire, rénover et aménager une maison : Toutes les techniques de construction en images (2e édition) • Économie, sociologie, histoire du monde contemporain 2026-2027 : 1re et 2e années ...

... PAE médecine générale annales corrigées EVC (édition 2025) • Le commentaire de carte topographique : Méthodes et applications (3e édition) • Traité de construction horlogère • Le Grand Atlas géographique du monde 6e ed ...

... Les pouvoirs de l'iode : Préventions des cancers, lutte contre l'hypothyroïdie, la dépression, l'eczéma, la fatigue...

Réservez en ligne &
retirez en magasin sous 2h

Livraison gratuite en
magasin dès le lendemain

Paiement sécurisé en 3 ou
4 fois sans frais par carte bancaire

Retours gratuits
sous 30 jours

Réseaux sociaux

Newsletter

Service clients

Numéro cristal : 09 86 86 02 93

Nos conseillers ont réponse à tout, enfin presque.
Contactez-les du lundi au samedi de 8h à 19h.