|
|
|
|
|
Introduction à la logique : théorie de la démonstration, cours, 170 exercices corrigés : licence 3e année, master, Capes, agrégation 3e éd.
Titre de l'éditeur : Introduction à la logique - 3e éd.
RENÉ DAVID & AL
|
|
|
EN SAVOIR PLUS
Résumé
Cet ouvrage, actualisé et augmenté pour cette troisième é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 dunod.com.
Détails
|
Prix :
|
57,99 $
|
|
Catégorie :
|
|
|
Auteur :
|
RENÉ DAVID & AL
|
|
Titre :
|
Introduction à la logique : théorie de la démonstration, cours, 170 exercices corrigés : licence 3e année, master, Capes, agrégation 3e éd.
|
|
Date de parution :
|
octobre 2025
|
|
|
|
|
|
Éditeur :
|
DUNOD
|
|
Collection :
|
SCIENCES SUP
|
|
|
|
Sujet :
|
MATHEMATIQUES
|
|
ISBN :
|
9782100890422 (2100890425)
|
|
Référence Renaud-Bray :
|
4492047
|
|
|
|
No de produit :
|
4492047
|
Droits numériques
|
Format :
|
PDF
|
|
Disponibilité :
|
Canada,
consultez la liste des pays autorisés.
Introduction à la logique : théorie de la démonstration, cours, 170 exercices corrigés : licence 3e année, master, Capes, agrégation 3e éd.
De
DAVID, RENÉ & AL
AUTRICHE
BELGIQUE
BULGARIE
SUISSE
CHYPRE
TCHÈQUE, RÉPUBLIQUE
ALLEMAGNE
DANEMARK
ESTONIE
ESPAGNE
FINLANDE
FRANCE
GUYANE FRANÇAISE
GUADELOUPE
GRÈCE
CROATIE
HONGRIE
IRLANDE
ITALIE
LITUANIE
LUXEMBOURG
LETTONIE
MONACO
MARTINIQUE
MALTE
MAURICE
N-CALÉDONIE
PAYS-BAS
POLYNÉSIE FRANÇAISE
POLOGNE
SAINT-PIERRE-ET-MIQUELON
PORTUGAL
RÉUNION
ROUMANIE
SUÈDE
SLOVÉNIE
SLOVAQUIE
WALLIS ET FUTUNA
MAYOTTE
Canada
ÉTATS-UNIS
|
|
Gestion des droits numériques :
|
Adobe DRM
|
|
Entrepôt numérique :
|
NUMILOG
|
|
Nombre d'appareils autorisés :
|
3
|
|
Nombre de copier/coller :
|
0
|
|
Impression :
|
0
|
|
|
|
Introduction à la logique : théorie de la démonstration, cours, 170 exercices corrigés : licence 3e année, master, Capes, agrégation 3e éd.
,
DAVID, RENÉ & AL
©
DUNOD
2025
|
|
|