skip to content
How to read and do proofs : an introduction to mathematical thought processes Preview this item
ClosePreview this item
Checking...

How to read and do proofs : an introduction to mathematical thought processes

Author: Daniel Solow
Publisher: Hoboken, N.J. : John Wiley, ©2005.
Edition/Format:   Print book : English : 4th edView all editions and formats
Database:WorldCat
Summary:
"This Fourth Edition features quick reference summaries or the proof techniques on the front and back covers a new forward uniqueness method, a new section on counter examples, and four new appendices in discrete mathematics, linear algebra, modern algebra, and real analysis that illustrate how the various proof techniques from the body of the text arise in doing actual mathematics."--Jacket.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Textbooks
Additional Physical Format: Online version:
Solow, Daniel.
How to read and do proofs.
Hoboken, N.J. : John Wiley, ©2005
(OCoLC)654482901
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Daniel Solow
ISBN: 0471680583 9780471680581
OCLC Number: 56413065
Description: 269 pages : illustrations ; 25 cm
Contents: Foreword. --
Preface to the Student. --
Preface to the Instructor. --
Acknowledgments. --
1. The Truth of It All. --
2. The Forward Backward Method. --
3. On Definitions and Mathematical Terminology. --
4. Quantifiers I: The Construction Method. --
5. Quantifiers II: The Choose Method. --
6. Quantifiers III: Specialization. --
7. Quantifiers IV: Nested Quantifiers. --
8. Nots of Nots Lead to Knots. --
9. The Contradiction Method. --
10. The Contrapositive Method. --
11. Uniqueness Methods and Induction. --
12. Either/or and Max/Min Methods. --
13. Summary. --
Appendix A: Examples of Proofs from Discrete Mathematics. --
Appendix B: Examples of Proofs from Linear Algebra. --
Appendix C: Examples of Proofs from Modern Algebra. --
Appendix D: Examples of Proofs from Real Analysis. --
Solutions to Select Exercises. --
Glossary. --
References. --
Index.
Responsibility: Daniel Solow.
More information:

Abstract:

"This Fourth Edition features quick reference summaries or the proof techniques on the front and back covers a new forward uniqueness method, a new section on counter examples, and four new appendices in discrete mathematics, linear algebra, modern algebra, and real analysis that illustrate how the various proof techniques from the body of the text arise in doing actual mathematics."--Jacket.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

All user tags (2)

View most popular tags as: tag list | tag cloud

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/56413065> # How to read and do proofs : an introduction to mathematical thought processes
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "56413065" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1020379#Place/hoboken_n_j> ; # Hoboken, N.J.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1020379#Topic/formaler_beweis> ; # Formaler Beweis
    schema:about <http://experiment.worldcat.org/entity/work/data/1020379#Topic/proof_theory> ; # Proof theory
    schema:about <http://experiment.worldcat.org/entity/work/data/1020379#Topic/algebre_lineaire> ; # algèbre linéaire
    schema:about <http://experiment.worldcat.org/entity/work/data/1020379#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://id.loc.gov/authorities/subjects/sh85107437> ; # Proof theory
    schema:about <http://experiment.worldcat.org/entity/work/data/1020379#Topic/mathematique_discrete> ; # mathématique discrète
    schema:about <http://id.loc.gov/authorities/subjects/sh85078115> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/1020379#Topic/logica_matematica> ; # Lógica matemática
    schema:about <http://experiment.worldcat.org/entity/work/data/1020379#Topic/preuve_theorie_de_la> ; # Preuve, Théorie de la
    schema:about <http://experiment.worldcat.org/entity/work/data/1020379#Topic/metamathematique> ; # Métamathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/1020379#Topic/matematica_estudo_e_ensino> ; # Matemática (estudo e ensino)
    schema:about <http://experiment.worldcat.org/entity/work/data/1020379#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/1020379#Topic/quantificateur> ; # quantificateur
    schema:about <http://dewey.info/class/511.36/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1020379#Topic/theorie_demonstration> ; # théorie démonstration
    schema:bookEdition "4th ed." ;
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "2005" ;
    schema:creator <http://viaf.org/viaf/94313022> ; # Daniel Solow
    schema:datePublished "2005" ;
    schema:description "Foreword. -- Preface to the Student. -- Preface to the Instructor. -- Acknowledgments. -- 1. The Truth of It All. -- 2. The Forward Backward Method. -- 3. On Definitions and Mathematical Terminology. -- 4. Quantifiers I: The Construction Method. -- 5. Quantifiers II: The Choose Method. -- 6. Quantifiers III: Specialization. -- 7. Quantifiers IV: Nested Quantifiers. -- 8. Nots of Nots Lead to Knots. -- 9. The Contradiction Method. -- 10. The Contrapositive Method. -- 11. Uniqueness Methods and Induction. -- 12. Either/or and Max/Min Methods. -- 13. Summary. -- Appendix A: Examples of Proofs from Discrete Mathematics. -- Appendix B: Examples of Proofs from Linear Algebra. -- Appendix C: Examples of Proofs from Modern Algebra. -- Appendix D: Examples of Proofs from Real Analysis. -- Solutions to Select Exercises. -- Glossary. -- References. -- Index."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1020379> ;
    schema:genre "Textbooks"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/654482901> ;
    schema:name "How to read and do proofs : an introduction to mathematical thought processes"@en ;
    schema:productID "56413065" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/56413065#PublicationEvent/hoboken_n_j_john_wiley_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1020379#Agent/john_wiley> ; # John Wiley
    schema:reviews <http://www.worldcat.org/title/-/oclc/56413065#Review/503978341> ;
    schema:url <http://catdir.loc.gov/catdir/toc/wiley051/2004058651.html> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=016725194&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://www.ulb.tu-darmstadt.de/tocs/124897894.pdf> ;
    schema:url <http://swbplus.bsz-bw.de/bsz117426709cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9780471680581> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/56413065> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1020379#Place/hoboken_n_j> # Hoboken, N.J.
    a schema:Place ;
    schema:name "Hoboken, N.J." ;
    .

<http://experiment.worldcat.org/entity/work/data/1020379#Topic/algebre_lineaire> # algèbre linéaire
    a schema:Intangible ;
    schema:name "algèbre linéaire"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1020379#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1020379#Topic/logica_matematica> # Lógica matemática
    a schema:Intangible ;
    schema:name "Lógica matemática"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1020379#Topic/matematica_estudo_e_ensino> # Matemática (estudo e ensino)
    a schema:Intangible ;
    schema:name "Matemática (estudo e ensino)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1020379#Topic/mathematique_discrete> # mathématique discrète
    a schema:Intangible ;
    schema:name "mathématique discrète"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1020379#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1020379#Topic/metamathematique> # Métamathématique
    a schema:Intangible ;
    schema:name "Métamathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1020379#Topic/preuve_theorie_de_la> # Preuve, Théorie de la
    a schema:Intangible ;
    schema:name "Preuve, Théorie de la"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1020379#Topic/theorie_demonstration> # théorie démonstration
    a schema:Intangible ;
    schema:name "théorie démonstration"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85078115> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85107437> # Proof theory
    a schema:Intangible ;
    schema:name "Proof theory"@en ;
    .

<http://viaf.org/viaf/94313022> # Daniel Solow
    a schema:Person ;
    schema:familyName "Solow" ;
    schema:givenName "Daniel" ;
    schema:name "Daniel Solow" ;
    .

<http://worldcat.org/isbn/9780471680581>
    a schema:ProductModel ;
    schema:isbn "0471680583" ;
    schema:isbn "9780471680581" ;
    .

<http://www.worldcat.org/oclc/654482901>
    a schema:CreativeWork ;
    rdfs:label "How to read and do proofs." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/56413065> ; # How to read and do proofs : an introduction to mathematical thought processes
    .

<http://www.worldcat.org/title/-/oclc/56413065>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/56413065> ; # How to read and do proofs : an introduction to mathematical thought processes
    schema:dateModified "2015-03-19" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/56413065#Review/503978341>
    a schema:Review ;
    schema:itemReviewed <http://www.worldcat.org/oclc/56413065> ; # How to read and do proofs : an introduction to mathematical thought processes
    schema:reviewBody ""This Fourth Edition features quick reference summaries or the proof techniques on the front and back covers a new forward uniqueness method, a new section on counter examples, and four new appendices in discrete mathematics, linear algebra, modern algebra, and real analysis that illustrate how the various proof techniques from the body of the text arise in doing actual mathematics."--Jacket." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.