• Nouveau
  • hors stock

Introduction à la logique : théorie de la démonstration, cours, 170 exercices corrigés : licence 3e année, master, Capes, agrégation

David, René (1948-....) - Nour, Karim - Raffalli, Christophe - Curien, Pierre-Louis
Présentation des bases du raisonnement mathématique, de la syntaxe associée au calcul des énoncés et notamment de la théorie de la démonstration. 170 exercices sont proposés en fin de chapitre, ... lire la suite
Date de parution prévue : 10/09/2025
M'avertir lorsque le produit est disponible

Vous êtes professionnels, vous souhaitez bénéficier de tarifs qui vous sont réservés ?
connecter vous ou créer vous un compte

Vous êtes professionnels, vous souhaitez bénéficier de tarifs qui vous sont réservés ? Connectez-vous ou créez vous un compte

Présentation des bases du raisonnement mathématique, de la syntaxe associée au calcul des énoncés et notamment de la théorie de la démonstration. 170 exercices sont proposés en fin de chapitre, dont certains réalisables en ligne, ainsi qu'une présentation du logiciel PhoX, un assistant de démonstration. Des ressources complémentaires sont accessibles sur le site de l'éditeur.
9782100840601

Auteur : Curien, Pierre-Louis
David, René (1948-....)
Nour, Karim
Raffalli, Christophe

Date de parution : 10/09/2025

Éditeur : Dunod

Collection : Sciences sup

Classification : Mathématiques