How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9780470392164 (pbk.)
- 0470392169 (pbk.)
- 511.3 SOL/How 22
- QA9.54 .S65 2010
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
![]() |
Goa University Library NBHM (Mathematics dept.) | 511.3 SOL/How (Browse shelf(Opens below)) | Available | 139400 |
Browsing Goa University Library shelves, Shelving location: NBHM (Mathematics dept.) Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
511.3 SIP/The Theory of computation | 511.3 SIP/The Theory of computation | 511.3 SIP/The Theory of computation | 511.3 SOL/How How to read and do proofs : | 511.3 STE-TAL The foundations of mathematics - 2nd ed. | 511.3 WEB/Com Computability theory | 511.3 WEB/Com Computability theory |
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.
There are no comments on this title.