BIBLIOTHEQUE MISM
Détail de l'éditeur
Jacques Gabay
localisé à :
new york
|
Documents disponibles chez cet éditeur
Affiner la recherche Interroger des sources externes
Logique mathématique / Stephen Cole Kleene
Titre : Logique mathématique Type de document : texte imprimé Auteurs : Stephen Cole Kleene, Auteur Editeur : new york : Jacques Gabay Année de publication : 2004 Importance : 412P Format : 24X17 cm ISBN/ISSN/EAN : 978-2-87647-005-7 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : mathématique Index. décimale : 510 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.Note de contenu : Sommaire
-Logique mathématique élémentaire
-Le calcul propositionnel
-Le calcul des prédicats
-Le calcul des prédicats avec égalité
-La logique mathématique et les fondements des mathématiques
-Les fondements des mathématiques
-Calculabilité et décidabilité
-Le calcul des prédicats (SupplémentsLogique mathématique [texte imprimé] / Stephen Cole Kleene, Auteur . - new york : Jacques Gabay, 2004 . - 412P ; 24X17 cm.
ISBN : 978-2-87647-005-7
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : mathématique Index. décimale : 510 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.Note de contenu : Sommaire
-Logique mathématique élémentaire
-Le calcul propositionnel
-Le calcul des prédicats
-Le calcul des prédicats avec égalité
-La logique mathématique et les fondements des mathématiques
-Les fondements des mathématiques
-Calculabilité et décidabilité
-Le calcul des prédicats (SupplémentsRéservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité 11/182529 L/510.1040 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Exclu du prêt 11/182530 L/510.1040 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 11/182531 L/510.1040 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 11/182532 L/510.1040 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible