Articoli correlati a Practical Foundations of Mathematics
Sinossi
This book is about the basis of mathematical reasoning both in pure mathematics itself and in computing.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
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
Descrizione del libro
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 and challenges many established attitudes to the foundations of mathematics.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 193,01
EUR 10,39 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiRisultati della ricerca per Practical Foundations of Mathematics
Foto dell'editore
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521631075_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Practical Foundations of Mathematics
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 700651-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Practical Foundations of Mathematics
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 700651-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Practical Foundations of Mathematics
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 446943049
Quantità: Più di 20 disponibili
Foto dell'editore
Practical Foundations of Mathematics
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 572 pages. 9.50x6.50x1.25 inches. In Stock. This item is printed on demand. Codice articolo __0521631076
Quantità: 1 disponibili
Foto dell'editore
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9780521631075
Quantità: Più di 20 disponibili
Foto dell'editore
Practical Foundations of Mathematics (Hardcover)
Editore:
Cambridge University Press, Cambridge, 1999
ISBN 10: 0521631076
ISBN 13: 9780521631075
Nuovo
Rilegato
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Codice articolo 9780521631075
Quantità: 1 disponibili
Foto dell'editore
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2416190010215
Quantità: Più di 20 disponibili
Foto dell'editore
Practical Foundations of Mathematics
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 1063. Codice articolo C9780521631075
Quantità: Più di 20 disponibili
Foto dell'editore
Practical Foundations of Mathematics
Editore:
Cambridge University Press CUP, 1999
ISBN 10: 0521631076
ISBN 13: 9780521631075
Nuovo
Rilegato
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 588. Codice articolo 26261259
Quantità: 4 disponibili