Solow, Daniel.
How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow. - 5th ed. - Hoboken, N.J. : Wiley, c2010. - xviii, 301 p. : ill. ; 23 cm.
Includes bibliographical references and index.
The truth of it all -- The forward-backward method -- On definitions and mathematical terminology -- Quantifiers 1: the construction method -- Quantifiers II: the choose method -- Quantifiers III: specialization -- Quantifiers IV: nested quantifiers -- Nots of nots lead to knots -- the contradiction method -- The contrapositive method -- The uniqueness methods -- Induction -- The either/or methods -- The max/min methods -- Summary -- Appendices: Examples of proofs from discrete mathematics ; Examples of proofs from linear algebra ; Examples of proofs from modern algebra ; Examples of proofs from real analysis.
9780470392164 (pbk.)
2009043723
GBA974217 bnb
015336812 Uk
Proof theory--Textbooks.
Logic, Symbolic and mathematical--Textbooks.
QA9.54 / .S65 2010
511.36 / SOL 2010
How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow. - 5th ed. - Hoboken, N.J. : Wiley, c2010. - xviii, 301 p. : ill. ; 23 cm.
Includes bibliographical references and index.
The truth of it all -- The forward-backward method -- On definitions and mathematical terminology -- Quantifiers 1: the construction method -- Quantifiers II: the choose method -- Quantifiers III: specialization -- Quantifiers IV: nested quantifiers -- Nots of nots lead to knots -- the contradiction method -- The contrapositive method -- The uniqueness methods -- Induction -- The either/or methods -- The max/min methods -- Summary -- Appendices: Examples of proofs from discrete mathematics ; Examples of proofs from linear algebra ; Examples of proofs from modern algebra ; Examples of proofs from real analysis.
9780470392164 (pbk.)
2009043723
GBA974217 bnb
015336812 Uk
Proof theory--Textbooks.
Logic, Symbolic and mathematical--Textbooks.
QA9.54 / .S65 2010
511.36 / SOL 2010