IziBooks IziBooks IziBooks IziBooks
Introduction à la logique - 3e éd. - René David, Karim Nour, Christophe Raffalli - Dunod

Suivre l’actualité de ce titre (promotion, parution...)

Introduction à la logique - 3e éd.

de René David (auteur), Karim Nour (auteur), Christophe Raffalli (auteur)
Maison d'édition : Dunod
septembre 2025
416 pages
En prévente : disponible à partir du 10/09/2025. 		29,99 €

Comment récupérer et lire mon ebook ?

  Paiement sécurisé

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.

Auteur

  • René David (auteur)

    Ancien professeur à l'université de Savoie.

  • Karim Nour (auteur)

    Maître de conférences (HDR) à l'université de Savoie (Chambéry)

  • Christophe Raffalli (auteur)

    Christophe Raffalli est est chercheur associé au G.A.A.T.I. et enseignant à l’université de Polynésie française.

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

Avis

Pour évaluer et laisser un commentaire sur le produit, merci de vous connecter à votre compte.

Caractéristiques

Editeur : Dunod

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

Publication : 10 septembre 2025

Intérieur : Noir & blanc

Support(s) : Livre numérique eBook [PDF]

Contenu(s) : PDF

Protection(s) : DRM (PDF)

Taille(s) : 5,36 Mo (PDF)

Langue(s) : Français

Code(s) CLIL : 3052

EAN13 Livre numérique eBook [PDF] : 9782100890422

EAN13 (papier) : 9782100840601

Vous aimerez aussi

Les promos du moment
--:-- / --:--