skip to content
The nuts and bolts of proofs Preview this item
ClosePreview this item
Checking...

The nuts and bolts of proofs

Author: Antonella Cupillari
Publisher: Amsterdam ; Boston : Elsevier Academic Press, ©2005.
Edition/Format:   eBook : Document : English : 3rd edView all editions and formats
Summary:
The Nuts and Bolts of Proof instructs students on the basic logic of mathematical proofs, showing how and why proofs of mathematical statements work. It provides them with techniques they can use to gain an inside view of the subject, reach other results, remember results more easily, or rederive them if the results are forgotten. A flow chart graphically demonstrates the basic steps in the construction of any proof  Read more...
Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Electronic books
Electronic book
Additional Physical Format: Print version:
Cupillari, Antonella.
Nuts and bolts of proofs.
Amsterdam ; Boston : Elsevier Academic Press, ©2005
(DLC) 2005296426
(OCoLC)61269568
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Antonella Cupillari
ISBN: 9780120885091 0120885093 9780080537900 0080537901
OCLC Number: 162130107
Description: 1 online resource (xii, 179 pages) : illustrations
Contents: Introduction and Basic Terminology --
General Suggestions --
Some basic Techniques Used in Proving a Theorem of the Form :If A then B --
Direct Proof --
Related Statements --
Proof by Contra positive --
How to Construct the Negation of a Statement --
Special Kinds of Theorems --
If and only if or Equivalence Theorems --
Use of Counterexamples --
Mathematical Induction --
Existence Theorems --
Uniqueness Theorems --
Equality of Sets --
Equality of Numbers --
Composite Statements --
Limits --
Review Exercises --
Exercises without Soultions --
Collection of Proofs --
Solutions of the Exercises at the End of the Sections and the Review Exercises --
Other Books on the Subject of Proofs and Mathematical Writing.
Responsibility: Antonella Cupillari.
More information:

Abstract:

Instructs students on the basic logic of mathematical proofs, showing how and why proofs of mathematical statements work. This book provides them with techniques they can use to gain an inside view  Read more...

Reviews

Editorial reviews

Publisher Synopsis

I really enjoyed the Collection of Proofs. It is a great addition. These exercises will really stretch a students imagination, and go a long way to impressing on them the standards for a believable Read more...

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

Tags

Be the first.

Similar Items

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/162130107> # The nuts and bolts of proofs
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "162130107" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/5663321#Place/amsterdam> ; # Amsterdam
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
    rdfs:comment "Warning: This malformed URI has been treated as a string - 'http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=311405";target="_blank'" ;
    schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
    schema:about <http://experiment.worldcat.org/entity/work/data/5663321#Topic/mathematics_logic> ; # MATHEMATICS--Logic
    schema:about <http://dewey.info/class/511.36/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5663321#Topic/mathematics_infinity> ; # MATHEMATICS--Infinity
    schema:bookEdition "3rd ed." ;
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2005" ;
    schema:creator <http://viaf.org/viaf/232967340> ; # Antonella Cupillari
    schema:datePublished "2005" ;
    schema:description "Introduction and Basic Terminology -- General Suggestions -- Some basic Techniques Used in Proving a Theorem of the Form :If A then B -- Direct Proof -- Related Statements -- Proof by Contra positive -- How to Construct the Negation of a Statement -- Special Kinds of Theorems -- If and only if or Equivalence Theorems -- Use of Counterexamples -- Mathematical Induction -- Existence Theorems -- Uniqueness Theorems -- Equality of Sets -- Equality of Numbers -- Composite Statements -- Limits -- Review Exercises -- Exercises without Soultions -- Collection of Proofs -- Solutions of the Exercises at the End of the Sections and the Review Exercises -- Other Books on the Subject of Proofs and Mathematical Writing."@en ;
    schema:description "The Nuts and Bolts of Proof instructs students on the basic logic of mathematical proofs, showing how and why proofs of mathematical statements work. It provides them with techniques they can use to gain an inside view of the subject, reach other results, remember results more easily, or rederive them if the results are forgotten. A flow chart graphically demonstrates the basic steps in the construction of any proof and numerous examples illustrate the method and detail necessary to prove various kinds of theorems. * The "List of Symbols" has been extended. * Set Theory section has been strengthened with more examples and exercises. * Addition of "A Collection of Proofs.""@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5663321> ;
    schema:genre "Electronic book"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/61269568> ;
    schema:name "The nuts and bolts of proofs"@en ;
    schema:productID "162130107" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/162130107#PublicationEvent/amsterdam_boston_elsevier_academic_press_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/5663321#Agent/elsevier_academic_press> ; # Elsevier Academic Press
    schema:url <http://www.sciencedirect.com/science/book/9780120885091> ;
    schema:url <http://VH7QX3XE2P.search.serialssolutions.com/?V=1.0&L=VH7QX3XE2P&S=JCs&C=TC0000213161&T=marc&tab=BOOKS> ;
    schema:url <http://er.llcc.edu:2048/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=205386> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=205386> ;
    schema:url <http://www.myilibrary.com?id=105681&ref=toc> ;
    schema:url <http://site.ebrary.com/id/10190042> ;
    schema:url "http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=311405";target="_blank" ;
    schema:url <http://www.myilibrary.com?id=105681> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=311405> ;
    schema:url <http://dproxy.library.dc-uoit.ca/login?url=https://www.sciencedirect.com/science/book/9780120885091> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0627/2005296426-t.html> ;
    schema:workExample <http://worldcat.org/isbn/9780080537900> ;
    schema:workExample <http://worldcat.org/isbn/9780120885091> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/162130107> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
    schema:name "Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/5663321#Agent/elsevier_academic_press> # Elsevier Academic Press
    a bgn:Agent ;
    schema:name "Elsevier Academic Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/5663321#Topic/mathematics_infinity> # MATHEMATICS--Infinity
    a schema:Intangible ;
    schema:name "MATHEMATICS--Infinity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5663321#Topic/mathematics_logic> # MATHEMATICS--Logic
    a schema:Intangible ;
    schema:name "MATHEMATICS--Logic"@en ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
    schema:name "Proof theory"@en ;
    .

<http://viaf.org/viaf/232967340> # Antonella Cupillari
    a schema:Person ;
    schema:familyName "Cupillari" ;
    schema:givenName "Antonella" ;
    schema:name "Antonella Cupillari" ;
    .

<http://worldcat.org/isbn/9780080537900>
    a schema:ProductModel ;
    schema:isbn "0080537901" ;
    schema:isbn "9780080537900" ;
    .

<http://worldcat.org/isbn/9780120885091>
    a schema:ProductModel ;
    schema:isbn "0120885093" ;
    schema:isbn "9780120885091" ;
    .

<http://www.worldcat.org/oclc/61269568>
    a schema:CreativeWork ;
    rdfs:label "Nuts and bolts of proofs." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/162130107> ; # The nuts and bolts of proofs
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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