Titre :	Logique mathématique
Type de document :	texte imprimé
Auteurs :	Jean-François Pabion, Auteur ; Marcel Guillaume (1928-....)), Préfacier, etc.
Editeur :	Paris : Hermann
Année de publication :	1976
Collection :	Collection Méthodes (Paris. 1966), ISSN 0588-2303 num. 16
Importance :	1 v. (263 p.)
Présentation :	ill.
Format :	22 cm
ISBN/ISSN/EAN :	978-2-7056-5830-4
Note générale :	Bibliogr. p. 261-263. Index
Langues :	Français (fre)
Catégories :	Mathématique
Mots-clés :	Logique mathématique
Index. décimale :	511.3 - Logique mathématique
Résumé :	Afin de ne pas manquer la simplicité fondamentale des concepts étudiés, ce manuel présente les éléments de la logique mathématique dans un style volontairement simple, dégagé du souci de la forme. Loin de prétendre couvrir le sujet, seuls ont été sélectionnés quelques thèmes importants, abordés par des méthodes instructives et illustrés par des applications non gratuites. Des exercices complètent le texte et abordent quelques questions d'un niveau plus élevé.
Note de contenu :	Sommaire : 1-Lres matériaux fondamentaux -Le cacul propositionnel -Le calcul des propostions analysées 2-Etude de la déduction -Théories des déduction -Une théorie des ensembles -La complétude sémantique -La théorie des définitions -Application à la géométrie -Élimination des quantificateurs -Les théorèmes de limitation -Relations et fonctions récursives.
Côte titre :	Fs/25409

Logique mathématique [texte imprimé] / Jean-François Pabion, Auteur ; Marcel Guillaume (1928-....)), Préfacier, etc. . - Paris : Hermann, 1976 . - 1 v. (263 p.) : ill. ; 22 cm. - (Collection Méthodes (Paris. 1966), ISSN 0588-2303; 16) .
ISBN : 978-2-7056-5830-4
Bibliogr. p. 261-263. Index
Langues : Français (fre)

Catégories :	Mathématique
Mots-clés :	Logique mathématique
Index. décimale :	511.3 - Logique mathématique
Résumé :	Afin de ne pas manquer la simplicité fondamentale des concepts étudiés, ce manuel présente les éléments de la logique mathématique dans un style volontairement simple, dégagé du souci de la forme. Loin de prétendre couvrir le sujet, seuls ont été sélectionnés quelques thèmes importants, abordés par des méthodes instructives et illustrés par des applications non gratuites. Des exercices complètent le texte et abordent quelques questions d'un niveau plus élevé.
Note de contenu :	Sommaire : 1-Lres matériaux fondamentaux -Le cacul propositionnel -Le calcul des propostions analysées 2-Etude de la déduction -Théories des déduction -Une théorie des ensembles -La complétude sémantique -La théorie des définitions -Application à la géométrie -Élimination des quantificateurs -Les théorèmes de limitation -Relations et fonctions récursives.
Côte titre :	Fs/25409