Kniha momentálne nie je na sklade
Viac o knihe
Focusing on mathematical reasoning, this book bridges pure mathematics and computer science, emphasizing the connections between formal logic and everyday mathematical language. It covers discrete mathematics, categorical logic, and introduces concepts like term algebras, induction, and recursion. With detailed proofs of the equivalence of types and categories, the work transcends traditional boundaries, offering examples across various mathematical disciplines. It's designed for students and educators in computing, mathematics, and philosophy, ensuring readability and lasting reference value.
Nákup knihy
Practical Foundations of Mathematics, Paul Taylor
- Jazyk
- Rok vydania
- 2003
- product-detail.submit-box.info.binding
- (pevná)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Practical Foundations of Mathematics
- Jazyk
- anglicky
- Autori
- Paul Taylor
- Vydavateľ
- Cambridge University Press
- Rok vydania
- 2003
- Väzba
- pevná
- Počet strán
- 588
- ISBN13
- 9780521631075
- Kategórie
- Matematika
- Anotácia
- Focusing on mathematical reasoning, this book bridges pure mathematics and computer science, emphasizing the connections between formal logic and everyday mathematical language. It covers discrete mathematics, categorical logic, and introduces concepts like term algebras, induction, and recursion. With detailed proofs of the equivalence of types and categories, the work transcends traditional boundaries, offering examples across various mathematical disciplines. It's designed for students and educators in computing, mathematics, and philosophy, ensuring readability and lasting reference value.