Logique mathématique
Editeur(s) : Hermann
Collection(s) : Methodes Hermann
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.
circleN'est pas en stock. Nous vous le commandons.
Envoi sous 3 à 8 jours
45,00 €
Autres éditions
ebook (pdf)
29/06/2010
29/06/2010
30,99 €
Ean :
9782705658304
Date de parution :
30/06/2010
Format et Reliure :
Grand format
Pages :
263