Logo

Practical Foundations of Mathematics

Large book cover: Practical Foundations of Mathematics

Practical Foundations of Mathematics
by

Publisher: Cambridge University Press
ISBN/ASIN: 0521631076
ISBN-13: 9780521631075
Number of pages: 588

Description:
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.

Home page url

Download or read it online for free here:
Read online
(online html)

Similar books

Book cover: Super Special Codes using Super MatricesSuper Special Codes using Super Matrices
by - arXiv
Basic properties of codes and super matrices are given. New type of super special vector space is constructed. Three new classes of super special codes namely, super special row code, super special column code and super special codes are introduced.
(6853 views)
Book cover: Blast Into Math!Blast Into Math!
by - BookBoon
This is a fun and rigorous introduction to pure mathematics, suitable for both students and a general audience interested in learning what pure mathematics is all about. Presented in a friendly, accessible, and nonetheless rigorous style.
(6798 views)
Book cover: Foundations of MathematicsFoundations of Mathematics
by - Pennsylvania State University
These are lecture notes for an introductory graduate-level course in foundations of mathematics. The topics covered are: computability, unsolvable problems, undecidability of the natural number system, decidability of the real number system, etc.
(14915 views)
Book cover: Lectures on Fundamental Concepts of Algebra and GeometryLectures on Fundamental Concepts of Algebra and Geometry
by - Macmillan and co.
The following lectures contain an elementary account of the logical foundations of algebra and geometry. Except in a very few instances, no knowledge of mathematics beyond the most elementary portions of algebra and geometry has been assumed.
(2251 views)