Articles liés à Practical Foundations of Mathematics
Synopsis
Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.
Revue de presse
Review of the hardback: 'This is a fascinating and rewarding book ... each chapter has several pages of subtle, provocative and imaginative exercises. In summary, it is a magnificent compilation of ideas and techniques: it is a mine of (well-organised) information suitable for the graduate student and experienced researcher alike.' Roy Dyckhoff, Bulletin of the London Mathematical Society
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 193,40
EUR 4,62 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisRésultats de recherche pour Practical Foundations of Mathematics
Image d'archives
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521631076
ISBN 13 : 9780521631075
Neuf
Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780521631075_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Practical Foundations of Mathematics
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521631076
ISBN 13 : 9780521631075
Neuf
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 700651-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Practical Foundations of Mathematics
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521631076
ISBN 13 : 9780521631075
Neuf
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 700651-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Practical Foundations of Mathematics
Edité par
Cambridge University Press, 2003
ISBN 10 : 0521631076
ISBN 13 : 9780521631075
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book is about the basis of mathematical reasoning both in pure mathematics itself (particularly algebra and topology) and in computer science (how and what it means to prove correctness of programmes). It deliberately transcends disciplinary boundaries. N° de réf. du vendeur 446943049
Quantité disponible : Plus de 20 disponibles
Image d'archives
Practical Foundations of Mathematics
Edité par
Cambridge Univ Pr, 1999
ISBN 10 : 0521631076
ISBN 13 : 9780521631075
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 572 pages. 9.50x6.50x1.25 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __0521631076
Quantité disponible : 1 disponible(s)
Image d'archives
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521631076
ISBN 13 : 9780521631075
Neuf
Couverture rigide
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9780521631075
Quantité disponible : Plus de 20 disponibles
Image d'archives
Practical Foundations of Mathematics (Hardcover)
Edité par
Cambridge University Press, Cambridge, 1999
ISBN 10 : 0521631076
ISBN 13 : 9780521631075
Neuf
Couverture rigide
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. Practical Foundations collects the methods of construction of the objects of twentieth century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work. Practical Foundations of Mathematics explains the basis of mathematical reasoning both in pure mathematics itself (algebra and topology in particular) and in computer science. In addition to the formal logic, this volume examines the relationship between computer languages and "plain English" mathematical proofs. The book introduces the reader to discrete mathematics, reasoning, and categorical logic. It offers a new approach to term algebras, induction and recursion and proves in detail the equivalence of types and categories. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries across universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9780521631075
Quantité disponible : 1 disponible(s)
Image d'archives
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521631076
ISBN 13 : 9780521631075
Neuf
Couverture rigide
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Feb2416190010215
Quantité disponible : Plus de 20 disponibles
Image d'archives
Practical Foundations of Mathematics
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521631076
ISBN 13 : 9780521631075
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 1063. N° de réf. du vendeur C9780521631075
Quantité disponible : Plus de 20 disponibles
Image d'archives
Practical Foundations of Mathematics
Edité par
Cambridge University Press CUP, 1999
ISBN 10 : 0521631076
ISBN 13 : 9780521631075
Neuf
Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 588. N° de réf. du vendeur 26261259
Quantité disponible : 4 disponible(s)