Résumé
This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Philosophical considerations, which are often ignored or treated casually, are here given careful consideration, and furthermore the author places the notion of inductively defined sets (recursive datatypes) at the centre of his exposition resulting in a treatment of well established topics that is fresh and insightful. The presentation is engaging, but always great care is taken to illustrate difficult points. Understanding is also aided by the inclusion of many exercises.
Little previous knowledge of logic is required of the reader, and only a background of standard undergraduate mathematics is assumed.
Contents
- Definitions and notations
- Recursive datatypes
- Partially ordered sets
- Propositional calculus
- Predicate calculus
- Computable functions
- Ordinals
- Set theory
- Answers to selected questions
- Bilbiography
- Index
L'auteur - Thomas Forster
Autres livres de Thomas Forster
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Cambridge University Press |
| Auteur(s) | Thomas Forster |
| Parution | 10/09/2003 |
| Nb. de pages | 244 |
| Format | 15 x 23 |
| Couverture | Broché |
| Poids | 340g |
| Intérieur | Noir et Blanc |
| EAN13 | 9780521533614 |
| ISBN13 | 978-0-521-53361-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
- Informatique Développement d'applications Techniques de programmation Logique
- Sciences Mathématiques Mathématiques par matières Algèbre Cours
- Sciences Mathématiques Mathématiques par matières Algèbre Exercices
- Sciences Mathématiques Mathématiques par matières Logique
- Sciences Mathématiques Mathématiques par matières Logique Logique floue
- Sciences Mathématiques Mathématiques par matières Logique Algèbre de Boole
- Sciences Mathématiques Mathématiques par matières Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
