Logique mathématique
Par :Formats :
Disponible dans votre compte client Decitre ou Furet du Nord dès validation de votre commande. Le format PDF protégé est :
- Compatible avec une lecture sur My Vivlio (smartphone, tablette, ordinateur)
- Compatible avec une lecture sur liseuses Vivlio
- Pour les liseuses autres que Vivlio, vous devez utiliser le logiciel Adobe Digital Edition. Non compatible avec la lecture sur les liseuses Kindle, Remarkable et Sony
- Non compatible avec un achat hors France métropolitaine
, qui est-ce ?Notre partenaire de plateforme de lecture numérique où vous retrouverez l'ensemble de vos ebooks gratuitement
Pour en savoir plus sur nos ebooks, consultez notre aide en ligne ici
C'est si simple ! Lisez votre ebook avec l'app Vivlio sur votre tablette, mobile ou ordinateur :
- Nombre de pages294
- FormatPDF
- ISBN979-10-370-2856-3
- EAN9791037028563
- Date de parution29/06/2010
- Protection num.Adobe DRM
- Taille114 Mo
- Infos supplémentairespdf
- ÉditeurHermann
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.
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.
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.
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.
A propos de Jean-François Pabion
Logique mathématique
Grand Format
45,00 €