ENGLISH

100 percent mathematical proof

By Rowan Garnier , John Taylor

Book information

Publisher
Wiley
Year
1996
ISBN
0471961981, 9780471961987, 9780585302287
LCC
QA9.54 .G367 1996
Open Library ID
OL600673M
Language
english
Format
DJVU
Filesize
2 MB (2240204 bytes)
Edition
Wiley
Pages
330\330
Library
Kolxo3
DPI
400
Scanned
yes
Time added
2009-07-20 03:45:11

Description

Proof has been and remains one of the concepts which characterises mathematics. Covering basic propositional and predicate logic as well as discussing axiom systems and formal proofs, the book seeks to explain what mathematicians understand by proofs and how they are communicated. The authors explore the principle techniques of direct and indirect proof including induction, existence and uniqueness proofs, proof by contradiction, constructive and non-constructive proofs, etc. Many examples from analysis and modern algebra are included. The exceptionally clear style and presentation ensures that the book will be useful and enjoyable to those studying and interested in the notion of mathematical proof.

Similar books