Le stockage local semble être désactivé dans votre navigateur.
Pour une meilleure expérience sur notre site, assurez-vous d’activer le cache dans votre navigateur.
Logique mathématique
Jean-francois Pabion (Auteur principal)
Livre | Format : Livre | Editeur : Hermann | Date de parution : 30/06/2010
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 propositionnelLe calcul des propostions analyséesThéories des déductionsUne théorie des ensemblesLa complétude sémantiqueLa théorie des définitionsApplication à la géométrieÉlimination des quantificateursLes théorèmes de limitationRelations et fonctions récursives.
Détails
| EAN | 9782705658304 |
|---|---|
| ISBN | 2705658300 |
| Contributeurs | Jean-francois Pabion (Auteur principal) |
| Format | Livre |
| Nombre de pages | 263 |
| Éditeur | Hermann |
| Collection | Methodes |
| Langue | Français |
| Largeur | 15.8 cm |
| Longueur | 22 cm |
| Épaisseur | 1.6 cm |
| Poids | 0.419 kg |
| Impression à la demande | Oui |
| Catégories | Livres, Mathématiques, Logique |
Avis
Rédigez votre propre commentaire