Preview this item
Preview this item
Checking...

# The nuts and bolts of proofs

Author: Antonella Cupillari Amsterdam ; Boston : Elsevier Academic Press, ©2005. eBook : Document : English : 3rd edView all editions and formats 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."  Read more... (not yet rated) 0 with reviews - Be the first.

## Find a copy in the library

Finding libraries that hold this item...

## Details

Genre/Form: Electronic books Print version:Cupillari, Antonella.Nuts and bolts of proofs.Amsterdam ; Boston : Elsevier Academic Press, ©2005(DLC) 2005296426(OCoLC)61269568 Document, Internet resource Internet Resource, Computer File Antonella Cupillari Find more information about: Antonella Cupillari 9780120885091 0120885093 9780080537900 0080537901 162130107 1 online resource (xii, 179 pages) : illustrations 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. Antonella Cupillari.

### 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

Be the first.

## Similar Items

### Related Subjects:(3)

Confirm this request

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

### 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
schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
schema:bookEdition "3rd ed." ;
schema:bookFormat schema:EBook ;
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 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:url <http://www.sciencedirect.com/science/book/9780120885091> ;
schema:url <https://ebookcentral.proquest.com/lib/ualberta/detail.action?docID=311405> ;
schema:url <https://ebookcentral.proquest.com/lib/gprc-ebooks/detail.action?docID=311405> ;
schema:url <http://www.myilibrary.com?id=105681&ref=toc> ;
schema:url <http://ebookcentral.proquest.com/lib/warw/detail.action?docID=311405> ;
schema:url <http://site.ebrary.com/id/10190042> ;
schema:url <https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=311405> ;
schema:url <https://ebookcentral.proquest.com/lib/concordiaab-ebooks/detail.action?docID=311405> ;
schema:url <https://ebookcentral.proquest.com/lib/macewan-ebooks/detail.action?docID=311405> ;
schema:url <http://www.myilibrary.com?id=105681> ;
schema:url <https://ebookcentral.proquest.com/lib/rdc/detail.action?docID=311405> ;
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" ;
.

rdfs:comment "eBook available for Durham College via Elsevier. Click link to access" ;
.

a bgn:Agent ;
.

<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 ;
.

rdfs:comment "from EBSCO Academic Collection" ;
rdfs:comment "(Unlimited Concurrent Users)" ;
.

<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
.

<https://ebookcentral.proquest.com/lib/concordiaab-ebooks/detail.action?docID=311405>
rdfs:comment "from Ebook Central Academic Complete" ;
rdfs:comment "(Unlimited Concurrent Users)" ;
.

<https://ebookcentral.proquest.com/lib/gprc-ebooks/detail.action?docID=311405>
rdfs:comment "from Ebook Central Academic Complete" ;
rdfs:comment "(Unlimited Concurrent Users)" ;
.

<https://ebookcentral.proquest.com/lib/macewan-ebooks/detail.action?docID=311405>
rdfs:comment "from Ebook Central Academic Complete" ;
rdfs:comment "(Unlimited Concurrent Users)" ;
.

<https://ebookcentral.proquest.com/lib/rdc/detail.action?docID=311405>
rdfs:comment "from Ebook Central Academic Complete" ;
rdfs:comment "(Unlimited Concurrent Users)" ;
.

<https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=311405>
rdfs:comment "Available to Stanford-affiliated users." ;
.

<https://ebookcentral.proquest.com/lib/ualberta/detail.action?docID=311405>
rdfs:comment "from Ebook Central Academic Complete" ;
rdfs:comment "(Unlimited Concurrent Users)" ;
.

Content-negotiable representations