Practical Foundations of Mathematics

Practical Foundations of Mathematics

Practical Foundations of Mathematics
by Paul Taylor

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

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 here:
Read online
(online html)

Similar books

Blast Into Math!Blast Into Math!
by Julie Rowlett - 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.
Surreal Numbers: An IntroductionSurreal Numbers: An Introduction
by Claus Tondering
This text will provide the readers with a free and accessible introduction to a very fascinating subject. The author is not a mathematician by profession, the book shows that pure mathematics is not that complicated once you get down to the rules.
Mathematical Reasoning: Writing and ProofMathematical Reasoning: Writing and Proof
by Ted Sundstrom - Pearson Education, Inc.
'Mathematical Reasoning' is designed to be a text for the first course in the college mathematics curriculum that introduces students to the processes of constructing and writing proofs and focuses on the formal development of mathematics.
Book of ProofBook of Proof
by Richard Hammack - Virginia Commonwealth University
This textbook is an introduction to the standard methods of proving mathematical theorems. It is written for an audience of mathematics majors at Virginia Commonwealth University, and is intended to prepare the students for more advanced courses.