Gardening Sale!
 
 

Special Offers see all

Enter to WIN!

Weekly drawing for $100 credit. Subscribe to our Specials newsletter for a chance to win.
Privacy Policy

More at Powell's

Recently Viewed clear list

Guests | May 6, 2013

Benjamin Percy: IMG The Roof People

1 comment By Benjamin Percy

My sister slept with the light on until she was 27. She rightfully blames me. I would leap out of closets with my hands made into claws. I would... Continue »
  1. $18.19 Sale Hardcover add to wish list

    Red Moon

    Benjamin Percy 9781455501663
spacer
Ships free on qualified orders.
$181.25
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Mathematics- General

Cambridge Studies in Advanced Mathematics #59: Practical Foundations of Mathematics

by

Cambridge Studies in Advanced Mathematics #59: Practical Foundations of Mathematics Cover

 

Synopses & Reviews

Publisher Comments:

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.

Synopsis:

This title is about the basis of mathematical reasoning both in pure mathematics itself and in computing.

Synopsis:

This book is about the basis of mathematical reasoning both in pure mathematics itself and in computing.
back to top

Table of Contents

1. First order reasoning; 2. Types and induction; 3. Posets and lattices; 4. Cartesian closed categories; 5. Limits and colimits; 6. Structural recursion; 7. Adjunctions; 8. Algebra with dependent types; 9. The quantifiers.

back to top
back to top

Product Details

ISBN:
9780521631075
Editor:
Taylor, Paul
Editor:
Fulton, W.
Editor:
Bollobas, B.
Editor:
Bollobas, Bela
Editor:
Fulton, W.
Author:
Kirwan, F.
Author:
Katok, A.
Author:
Bollobas, B.
Author:
Taylor Paul
Author:
Taylor, Paul
Author:
Fulton, W.
Author:
Sarnak, P.
Publisher:
Cambridge University Press
Location:
Cambridge ;
Subject:
General
Subject:
Mathematics
Subject:
Combinatorics
Subject:
Riparian animals -- Behavior -- Congresses.
Subject:
Riparian animals -- Ecology -- Congresses.
Subject:
Aquatic mammals -- Behavior -- Congresses.
Subject:
Aquatic mammals -- Ecology -- Congresses.
Subject:
General Mathematics
Subject:
Mathematics - General
Subject:
Logic
Edition Description:
Hardcover
Series:
Cambridge Studies in Advanced Mathematics (Hardcover)
Series Volume:
71
Publication Date:
19990531
Binding:
HARDCOVER
Grade Level:
Professional and scholarly
Language:
English
Illustrations:
Yes
Pages:
588
Dimensions:
9.36x5.92x1.71 in. 2.24 lbs.
back to top

Other books you might like

  1. Unix Systems for Modern... Used Hardcover $45.00
  2. Principles of Program Analysis
    New Hardcover $81.50
back to top

Related Subjects

Health and Self-Help » Health and Medicine » General
Health and Self-Help » Health and Medicine » General Medicine
History and Social Science » Anthropology » Physical
Science and Mathematics » Mathematics » General
Science and Mathematics » Physics » Astrophysics

Cambridge Studies in Advanced Mathematics #59: Practical Foundations of Mathematics New Hardcover
0 stars - 0 reviews
$181.25 In Stock
Product details 588 pages Cambridge University Press - English 9780521631075 Reviews:
"Synopsis" by , This title is about the basis of mathematical reasoning both in pure mathematics itself and in computing.
"Synopsis" by , This book is about the basis of mathematical reasoning both in pure mathematics itself and in computing.
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and eBooks — here at Powells.com.