Monographie

Introduction à la logique : théorie de la démonstration : cours et exercices corrigés / David, René ; Nour, Karim ; Raffalli, Christophe

Type de contenu

• Texte

Type de médiation

• sans médiation

Titre(s)

• Introduction à la logique : théorie de la démonstration : cours et exercices corrigés / David, René ; Nour, Karim ; Raffalli, Christophe

Auteur(s)

• David, René (1948-....)

Autre(s) auteur(s)

• Raffalli, Christophe
• Nour, Karim

Mention d'édition

• 2e éd.

Editeur, producteur

• Paris : Dunod, 2003
• (impr. en Belgique)

Description matérielle

• XIII-352 p. ; 24 cm

Collection

• Sciences sup cours et exercices corrigés

ISBN

• 2-10-006796-6

Appartient à la collection

• Sciences sup 1636-2217 2003

Classification décimale Dewey

• 511.360 28563 23

Note sur les bibliographies et les index

• Bibliogr. p. 347-348. Index

Résumé ou extrait

• 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 de la théorie de la démonstration. Des énoncés d'exercices sont proposés en fin de chapitres : certains sont corrigés, d'autres réalisables sur Internet. Une annexe présente un assistant de démonstration, le logiciel PhoX.

Sujet(s)

• mathématiques : discipline
• logique mathématique
• démonstration mathématique

Sujet - Nom commun

• Théorèmes -- Démonstration automatique
• Logique mathématique

Forme, genre ou caractéristiques physiques

• Manuels d'enseignement supérieur

Lien copié.

Pour une utilisation optimale, nous vous recommandons d'utiliser les navigateurs tel que Firefox, ou Edge

Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)