Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Delmas-Rigoutsos Yannis ; Lalement René

Titre : La logique ou l'art de raisonner.

Editeur : Le Pommier Paris, 2001 Collection : Quatre à Quatre
Format : 13,4 cm x 19,9 cm, 160 p. Bibliogr. p. 145, Index p. 157-159
ISBN : 2-7465-0035-3  ISSN : 1297-8612

Type : monographie, polycopié, vulgarisation, popularisation Langue : Français Support : papier

Public visé : chercheur, enseignant, formateur

Résumé :

Cet ouvrage est subdivisé en cinq chapitres :
- Formaliser : des objets aux énoncés.
- Interpréter : des énoncés aux objets.
- Prouver : des énoncés aux énoncés.
- Axiomatiser : des objets aux ensembles.
- Logique et mathématiques.

Dans la droite ligne structuraliste ("peu importe la réelle nature des objets mathématiques [...], seules comptent les opérations et relations"), les auteurs nous initient au formalisme logique (esquissé dans le Secondaire aux alentours de 1970), allant des connecteurs, quantificateurs, et de leurs tables de vérité, aux problèmes posés par la théorie des ensembles, à Zermelo-Fraenkel, Gödel, l'axiome du choix...
En fin de livre, une page d'une bibliographie commentée, trois des notations utilisées, sept d'un glossaire, trois d'un Index.

Notes :
Cet ouvrage est l'objet d'une recension sous la rubrique "matériaux pour une documentation" du Bulletin de l'APMEP n° 438.

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 06/10/2018
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN