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 189,26
EUR 2,24 expédition vers Etats-Unis
Destinations, frais et délaisRésultats de recherche pour Practical Foundations of Mathematics
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 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 : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. SUPER FAST SHIPPING. 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 (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 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 : Grand Eagle Retail, Mason, OH, Etats-Unis
É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 multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9780521631075
Quantité disponible : 1 disponible(s)
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 fournie par le vendeur
Practical Foundations of Mathematics
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521631076
ISBN 13 : 9780521631075
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 700651
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)