Practical Foundations of Mathematics di Paul Taylor, Taylor Paul edito da Cambridge University Press
Alta reperibilità

Practical Foundations of Mathematics

EAN:

9780521631075

ISBN:

0521631076

Pagine:
588
Formato:
Hardback
Lingua:
Inglese
Acquistabile con la

Descrizione Practical Foundations of Mathematics

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.

Spedizione gratuita
€ 200.68
o 3 rate da € 66.89 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Practical Foundations of Mathematics
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti