an introduction to mathematical thought processes Solow, Daniel creator text nju Hoboken, N.J. Wiley c2010 2010 5th ed. monographic eng

print

xviii, 301 p. : ill. ; 23 cm. 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 specialized Daniel Solow Includes bibliographical references and index Proof theory Textbooks Logic, Symbolic and mathematical Textbooks 9780470392164 UMP 100701 20260904092832.0 vtls000046779