|
|
|
|
|
Introduction à la logique : théorie de la démonstration, cours, 170 exercices corrigés : licence 3e année, master, Capes, agrégation 3e éd.
Publisher title : Introduction à la logique - 3e éd.
RENÉ DAVID & AL
|
|
|
LEARN MORE
Summary
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.
Details
|
Price:
|
$57.99
|
|
Category:
|
|
|
Author:
|
RENÉ DAVID & AL
|
|
Title:
|
Introduction à la logique : théorie de la démonstration, cours, 170 exercices corrigés : licence 3e année, master, Capes, agrégation 3e éd.
|
|
Release date:
|
October 2025
|
|
|
|
|
|
Editor:
|
DUNOD
|
|
Collection:
|
SCIENCES SUP
|
|
|
|
Subject:
|
MATHEMATIQUES
|
|
ISBN:
|
9782100890422 (2100890425)
|
|
Renaud-Bray Reference:
|
4492047
|
|
|
|
Item nb:
|
4492047
|
Digital rights
|
Format:
|
PDF
|
|
Availability :
|
Canada,
other authorized countries.
Introduction à la logique : théorie de la démonstration, cours, 170 exercices corrigés : licence 3e année, master, Capes, agrégation 3e éd.
By
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
|
|
Digital Rights Management :
|
Adobe DRM
|
|
Numeric warehouse :
|
NUMILOG
|
|
Number of authorized devices:
|
3
|
|
Number of copy-and-pastes:
|
0
|
|
Print:
|
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
|
|
1449 item(s) in your cart.
Renaud-Bray will pay
the shipping costs *
|