Cambridge University Press (2006)
Geared to preparing students to make the transition from solving problems to proving theorems, this text teachs them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5.
|Keywords||Logic, Symbolic and mathematical Mathematics|
|Categories||categorize this paper)|
|Buy the book||$20.00 used (50% off) $26.21 new (35% off) $34.39 direct from Amazon (15% off) Amazon page|
|Call number||QA9.V38 2006|
|ISBN(s)||0521675995 9780521861243 0521861241 9780521675994|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Set Theory: Boolean-Valued Models and Independence Proofs.L. Bell John - 2011 - Oxford University Press.
Introduction to Logic and to the Methodology of the Deductive Sciences.Alfred Tarski - 1941 - Oxford University Press.
Modern Logic: A Text in Elementary Symbolic Logic.Graeme Forbes - 1994 - Oxford University Press.
Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos (ed.) - 1976 - Cambridge University Press.
Added to index2009-01-28
Total downloads23 ( #219,693 of 2,171,929 )
Recent downloads (6 months)3 ( #117,896 of 2,171,929 )
How can I increase my downloads?