Titre :	Logique mathématique
Type de document :	texte imprime
Auteurs :	Kleene, Stephen Cole, Auteur ; Largeault, Jean, Traducteur
Mention d'édition :	2e éd.
Editeur :	Paris : Armand Colin
Année de publication :	2004
Importance :	412 p.
Présentation :	ill.
Format :	24 cm
ISBN/ISSN/EAN :	978-2-87647-005-7
Note générale :	Notes : Trad. de : "Mathematical Logic". - Autre tirage : 2004. - Reprod. photomécanique de l'éd. de : Paris, A. Colin, 1971 (Série "Epistémologie") Bibliogr. p. 379-[391]. Notes bibliogr. Index
Langues :	Français
Mots-clés :	Calcul des propositions  Mathématiques -- Philosophie  Logique mathématique non classique  Calcul des prédicats  Logique mathématique
Index. décimale :	5113
Résumé :	Un manuel de logique écrit à l'intention des étudiants par un logicien de réputation internationale. Ce livre, d'une rare richesse intellectuelle et instrument de travail exceptionnel, est sans équivalent, même dans sa langue originale. Il est le fruit à la fois d'une longue expérience pédagogique et d'une connaissance de première main des sujets qui y sont exposés. L'auteur réussit à donner à sa pensée une expression accessible et rigoureuse, jouant de toutes les ressources d'une pédagogie très au point : démonstrations informelles, résultats généraux prouvés sur un cas typique traité in extenso, exemples développés jusqu'à l'extrême détail, exercices placés à la fin de chaque section, grâce auxquels le lecteur peut reconstituer les concepts abstraits et s'assurer qu'il sait les mettre en oeuvre. Les notes placées en bas de page, renvoyant les unes aux autres et à des parties antérieures de l'ouvrage, contribuent à resserrer la cohérence et à guider le lecteur. Elles contiennent en outre une profusion de remarques et d'informations historiques, critiques, bibliographiques d'un intérêt considérable.
Permalink :	./index.php?lvl=notice_display&id=12389

Logique mathématique [texte imprime] / Kleene, Stephen Cole, Auteur ; Largeault, Jean, Traducteur  . -  2e éd. . - Paris : Armand Colin, 2004 . - 412 p. : ill. ; 24 cm.
ISBN : 978-2-87647-005-7

Notes :
Trad. de : "Mathematical Logic". - Autre tirage : 2004. - Reprod. photomécanique de l'éd. de : Paris, A. Colin, 1971 (Série "Epistémologie")
Bibliogr. p. 379-[391]. Notes bibliogr. Index

Langues : Français

Mots-clés :	Calcul des propositions  Mathématiques -- Philosophie  Logique mathématique non classique  Calcul des prédicats  Logique mathématique
Index. décimale :	5113
Résumé :	Un manuel de logique écrit à l'intention des étudiants par un logicien de réputation internationale. Ce livre, d'une rare richesse intellectuelle et instrument de travail exceptionnel, est sans équivalent, même dans sa langue originale. Il est le fruit à la fois d'une longue expérience pédagogique et d'une connaissance de première main des sujets qui y sont exposés. L'auteur réussit à donner à sa pensée une expression accessible et rigoureuse, jouant de toutes les ressources d'une pédagogie très au point : démonstrations informelles, résultats généraux prouvés sur un cas typique traité in extenso, exemples développés jusqu'à l'extrême détail, exercices placés à la fin de chaque section, grâce auxquels le lecteur peut reconstituer les concepts abstraits et s'assurer qu'il sait les mettre en oeuvre. Les notes placées en bas de page, renvoyant les unes aux autres et à des parties antérieures de l'ouvrage, contribuent à resserrer la cohérence et à guider le lecteur. Elles contiennent en outre une profusion de remarques et d'informations historiques, critiques, bibliographiques d'un intérêt considérable.
Permalink :	./index.php?lvl=notice_display&id=12389