Practical Foundations of Mathematics

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

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. *Author: Taylor, Paul/ Paul, Taylor/ Bollobas, Bela *Series Title: Cambridge Studies in Advanced Mathematics (Hardcover) *Series Number: 59 *Binding Type: Hardcover *Number of Pages: 588 *Publication Date: 1999/05/13 *Language: English *Dimensions: 9.36 x 5.92 x 1.71 inches

Specifications

Publisher Cambridge Univ Pr
Mfg Part# 9780521631075
SKU 33742912
Format Hardcover
ISBN10 0521631076
Release Date 4/10/2007
Physical
Dimensions (in Inches) 9.5H x 6.5L x 1.25T
From the Publisher
Editors Note 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.
Product Attributes
Book Format Hardcover
Number of Pages 0588
Publisher Cambridge University Press
Series Part 59

More Buying Options

Seller Infomation Price & Shipping  
Buy.com
$196.54 + free shipping
Condition: Brand New
In Stock, 45 Day Returns

Usually Ships within 24 hours
Add to Cart
UnbeatableSale $220.58 + $2.75 shipping
Condition: Brand New
In Stock
Brand New! 30 day money back guarantee.
Usually ships in 1 to 2 business days
Add to Cart
loading
$196.54 + free shipping
Earn 197 ($1.97) Rakuten Super Points™
What are Rakuten Super Points™?
Get rewarded when you shop! Earn 1 point per dollar spent. That's like getting cash back on every purchase. Easy to see matured points in checkout. Use points just like cash.
Learn More
Format: Hardcover
Condition: Brand New
In Stock. Usually Ships within 24 hours
Please select an option to buy
Add to Cart

Sold By:  Buy.com
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT