How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow.
Material type:
TextPublication details: Hoboken, N.J. : Wiley, c2010Edition: 5th edDescription: xviii, 301 p. : ill. ; 23 cmISBN: 9780470392164 (pbk.)Subject(s): Proof theory -- Textbooks | Logic, Symbolic and mathematical -- TextbooksDDC classification: 511.36 LOC classification: QA9.54 | .S65 2010| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
General Circulation
|
APU Library Open Shelf | Book | QA9.54 .S65 2010 c.1 (Browse shelf (Opens below)) | 1 | Available (No use restrictions) | 00002868 | |
|
General Circulation
|
APU Library Open Shelf | Book | QA9.54 .S65 2010 c.2 (Browse shelf (Opens below)) | 2 | Available (No use restrictions) | 00022480 |
Browsing APU Library shelves, Shelving location: Open Shelf, Collection: Book Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| Q360 .W47 2010 c.1 Introducing communication theory : | Q370 .G73 2011 c.1 Entropy and information theory / | Q370 .G73 2011 c.2 Entropy and information theory / | QA9.54 .S65 2010 c.1 How to read and do proofs : | QA37.3 .A97 2010 c.1 College mathematics : | QA37.3 .J64 2012 c.1 Mathematics : | QA39.2 .C76 2003 c.2 Foundation maths / |
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.