Titre :
|
Logique mathématique
|
Auteurs :
|
Jean-François Pabion ;
M. Guillaume
|
Type de document :
|
texte imprimé
|
Editeur :
|
Paris : Hermann, 2010
|
Collection :
|
Méthodes mathématiques
|
ISBN/ISSN/EAN :
|
978-2-7056-5830-4
|
Format :
|
1 vol. (XXXI-263 p.) / couv. ill. en coul. / 22 cm
|
Note générale :
|
Bibliogr. p. 261-263. Index
|
Langues originales:
|
|
Index. décimale :
|
511.3 (Logique mathématique )
|
Catégories :
|
Ouvrages > Sciences naturelles > Mathématiques
|
Mots-clés:
|
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é. Sommaire : Le cacul propositionnel Le calcul des propostions analysées Théories des déductions 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 :
|
S8/78922-78924
|
Exemplaires (3)
|
S8/78922 | Livre | Bibliothèque centrale | Disponible |
S8/78923 | Livre | Bibliothèque centrale | Disponible |
S8/78924 | Livre | Bibliothèque centrale | Disponible |
Accueil