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.
L'auteur - Jean-François Pabion
Autres livres de Jean-François Pabion
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Hermann |
| Auteur(s) | Jean-François Pabion |
| Parution | 30/06/2010 |
| Nb. de pages | 263 |
| Format | 14 x 21 |
| Couverture | Broché |
| Poids | 419g |
| EAN13 | 9782705658304 |
| ISBN13 | 978-2-7056-5830-4 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
