The nuts and bolts of proofs /:
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 th...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam ; Boston :
Elsevier Academic Press,
[2005].
|
| Ausgabe: | Third edition. |
| Schlagworte: | |
| Online-Zugang: | Volltext Volltext |
| Zusammenfassung: | 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." |
| Beschreibung: | 1 online resource (xii, 179 pages) : illustrations |
| Bibliographie: | Includes bibliographical references (pages 173-176) and index. |
| ISBN: | 9780080537900 0080537901 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn162130107 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070802t20052005ne a ob 001 0 eng d | ||
| 010 | |a 2005296426 | ||
| 040 | |a OPELS |b eng |e rda |e pn |c OPELS |d OKU |d OCLCQ |d N$T |d YDXCP |d IDEBK |d MERUC |d E7B |d SFB |d SHS |d REDDC |d TULIB |d OCLCO |d OCLCQ |d OCLCF |d OCLCQ |d COO |d OCLCQ |d AZK |d LOA |d JBG |d AGLDB |d MOR |d PIFAG |d OCLCQ |d U3W |d COCUF |d STF |d WRM |d D6H |d OCLCQ |d VTS |d INT |d VT2 |d OCLCQ |d WYU |d OCLCQ |d LEAUB |d AU@ |d M8D |d BWN |d OCLCQ |d K6U |d UKCRE |d LUN |d OCLCQ |d OCLCO |d MHW |d OCLCQ |d OCLCO |d SFB |d OCLCL |d EZC |d OCLCQ | ||
| 019 | |a 173240311 |a 173509497 |a 243607122 |a 541099502 |a 648323486 |a 779919406 |a 961512245 |a 962725511 |a 966264550 |a 988438191 |a 989299719 |a 991997800 |a 1034919827 |a 1035700881 |a 1037740163 |a 1038677246 |a 1055388009 |a 1064144917 |a 1081257709 |a 1086954418 |a 1110254563 |a 1153542772 |a 1228579683 | ||
| 020 | |z 9780120885091 | ||
| 020 | |z 0120885093 | ||
| 020 | |a 9780080537900 |q (electronic bk.) | ||
| 020 | |a 0080537901 |q (electronic bk.) | ||
| 035 | |a (OCoLC)162130107 |z (OCoLC)173240311 |z (OCoLC)173509497 |z (OCoLC)243607122 |z (OCoLC)541099502 |z (OCoLC)648323486 |z (OCoLC)779919406 |z (OCoLC)961512245 |z (OCoLC)962725511 |z (OCoLC)966264550 |z (OCoLC)988438191 |z (OCoLC)989299719 |z (OCoLC)991997800 |z (OCoLC)1034919827 |z (OCoLC)1035700881 |z (OCoLC)1037740163 |z (OCoLC)1038677246 |z (OCoLC)1055388009 |z (OCoLC)1064144917 |z (OCoLC)1081257709 |z (OCoLC)1086954418 |z (OCoLC)1110254563 |z (OCoLC)1153542772 |z (OCoLC)1228579683 | ||
| 037 | |a 107383:107419 |b Elsevier Science & Technology |n http://www.sciencedirect.com | ||
| 050 | 4 | |a QA9.54 |b .C86 2005eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 7 | |a 511.3/6 |2 22 | |
| 084 | |a 31.10 |2 bcl | ||
| 049 | |a MAIN | ||
| 100 | 1 | |a Cupillari, Antonella. |0 http://id.loc.gov/authorities/names/n88168278 | |
| 245 | 1 | 4 | |a The nuts and bolts of proofs / |c Antonella Cupillari. |
| 250 | |a Third edition. | ||
| 264 | 1 | |a Amsterdam ; |a Boston : |b Elsevier Academic Press, |c [2005]. | |
| 264 | 4 | |c ©2005. | |
| 300 | |a 1 online resource (xii, 179 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references (pages 173-176) and index. | ||
| 505 | 0 | |a 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. | |
| 520 | |a 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." | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Proof theory. |0 http://id.loc.gov/authorities/subjects/sh85107437 | |
| 650 | 6 | |a Théorie de la preuve. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Proof theory |2 fast | |
| 655 | 7 | |a dissertations. |2 aat | |
| 655 | 7 | |a Academic theses |2 fast | |
| 655 | 7 | |a Academic theses. |2 lcgft |0 http://id.loc.gov/authorities/genreForms/gf2014026039 | |
| 655 | 7 | |a Thèses et écrits académiques. |2 rvmgf | |
| 776 | 0 | 8 | |i Print version: |a Cupillari, Antonella. |t Nuts and bolts of proofs. |b 3rd ed. |d Amsterdam ; Boston : Elsevier Academic Press, ©2005 |z 0120885093 |z 9780120885091 |w (DLC) 2005296426 |w (OCoLC)61269568 |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://www.sciencedirect.com/science/book/9780120885091 |3 Volltext |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=205386 |3 Volltext |
| 938 | |a ebrary |b EBRY |n ebr10190042 | ||
| 938 | |a EBSCOhost |b EBSC |n 205386 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 105681 | ||
| 938 | |a YBP Library Services |b YANK |n 2636853 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn162130107 |
|---|---|
| _version_ | 1816881650704842752 |
| adam_text | |
| any_adam_object | |
| author | Cupillari, Antonella |
| author_GND | http://id.loc.gov/authorities/names/n88168278 |
| author_facet | Cupillari, Antonella |
| author_role | |
| author_sort | Cupillari, Antonella |
| author_variant | a c ac |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.54 .C86 2005eb |
| callnumber-search | QA9.54 .C86 2005eb |
| callnumber-sort | QA 19.54 C86 42005EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| 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. |
| ctrlnum | (OCoLC)162130107 |
| dewey-full | 511.3/6 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/6 |
| dewey-search | 511.3/6 |
| dewey-sort | 3511.3 16 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | Third edition. |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04874cam a2200637 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn162130107</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">070802t20052005ne a ob 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a"> 2005296426</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">OPELS</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">OPELS</subfield><subfield code="d">OKU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">IDEBK</subfield><subfield code="d">MERUC</subfield><subfield code="d">E7B</subfield><subfield code="d">SFB</subfield><subfield code="d">SHS</subfield><subfield code="d">REDDC</subfield><subfield code="d">TULIB</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">COO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">LOA</subfield><subfield code="d">JBG</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">COCUF</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">D6H</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LEAUB</subfield><subfield code="d">AU@</subfield><subfield code="d">M8D</subfield><subfield code="d">BWN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">UKCRE</subfield><subfield code="d">LUN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">MHW</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCL</subfield><subfield code="d">EZC</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">173240311</subfield><subfield code="a">173509497</subfield><subfield code="a">243607122</subfield><subfield code="a">541099502</subfield><subfield code="a">648323486</subfield><subfield code="a">779919406</subfield><subfield code="a">961512245</subfield><subfield code="a">962725511</subfield><subfield code="a">966264550</subfield><subfield code="a">988438191</subfield><subfield code="a">989299719</subfield><subfield code="a">991997800</subfield><subfield code="a">1034919827</subfield><subfield code="a">1035700881</subfield><subfield code="a">1037740163</subfield><subfield code="a">1038677246</subfield><subfield code="a">1055388009</subfield><subfield code="a">1064144917</subfield><subfield code="a">1081257709</subfield><subfield code="a">1086954418</subfield><subfield code="a">1110254563</subfield><subfield code="a">1153542772</subfield><subfield code="a">1228579683</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780120885091</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0120885093</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080537900</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080537901</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162130107</subfield><subfield code="z">(OCoLC)173240311</subfield><subfield code="z">(OCoLC)173509497</subfield><subfield code="z">(OCoLC)243607122</subfield><subfield code="z">(OCoLC)541099502</subfield><subfield code="z">(OCoLC)648323486</subfield><subfield code="z">(OCoLC)779919406</subfield><subfield code="z">(OCoLC)961512245</subfield><subfield code="z">(OCoLC)962725511</subfield><subfield code="z">(OCoLC)966264550</subfield><subfield code="z">(OCoLC)988438191</subfield><subfield code="z">(OCoLC)989299719</subfield><subfield code="z">(OCoLC)991997800</subfield><subfield code="z">(OCoLC)1034919827</subfield><subfield code="z">(OCoLC)1035700881</subfield><subfield code="z">(OCoLC)1037740163</subfield><subfield code="z">(OCoLC)1038677246</subfield><subfield code="z">(OCoLC)1055388009</subfield><subfield code="z">(OCoLC)1064144917</subfield><subfield code="z">(OCoLC)1081257709</subfield><subfield code="z">(OCoLC)1086954418</subfield><subfield code="z">(OCoLC)1110254563</subfield><subfield code="z">(OCoLC)1153542772</subfield><subfield code="z">(OCoLC)1228579683</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">107383:107419</subfield><subfield code="b">Elsevier Science & Technology</subfield><subfield code="n">http://www.sciencedirect.com</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.54</subfield><subfield code="b">.C86 2005eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">016000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3/6</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.10</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cupillari, Antonella.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n88168278</subfield></datafield><datafield tag="245" ind1="1" ind2="4"><subfield code="a">The nuts and bolts of proofs /</subfield><subfield code="c">Antonella Cupillari.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Third edition.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam ;</subfield><subfield code="a">Boston :</subfield><subfield code="b">Elsevier Academic Press,</subfield><subfield code="c">[2005].</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2005.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xii, 179 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 173-176) and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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."</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85107437</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie de la preuve.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Infinity.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Proof theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">dissertations.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Academic theses</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Academic theses.</subfield><subfield code="2">lcgft</subfield><subfield code="0">http://id.loc.gov/authorities/genreForms/gf2014026039</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Thèses et écrits académiques.</subfield><subfield code="2">rvmgf</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Cupillari, Antonella.</subfield><subfield code="t">Nuts and bolts of proofs.</subfield><subfield code="b">3rd ed.</subfield><subfield code="d">Amsterdam ; Boston : Elsevier Academic Press, ©2005</subfield><subfield code="z">0120885093</subfield><subfield code="z">9780120885091</subfield><subfield code="w">(DLC) 2005296426</subfield><subfield code="w">(OCoLC)61269568</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://www.sciencedirect.com/science/book/9780120885091</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=205386</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10190042</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">205386</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">105681</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2636853</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | dissertations. aat Academic theses fast Academic theses. lcgft http://id.loc.gov/authorities/genreForms/gf2014026039 Thèses et écrits académiques. rvmgf |
| genre_facet | dissertations. Academic theses Academic theses. Thèses et écrits académiques. |
| id | ZDB-4-EBA-ocn162130107 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:16:06Z |
| institution | BVB |
| isbn | 9780080537900 0080537901 |
| language | English |
| lccn | 2005296426 |
| oclc_num | 162130107 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xii, 179 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Elsevier Academic Press, |
| record_format | marc |
| spelling | Cupillari, Antonella. http://id.loc.gov/authorities/names/n88168278 The nuts and bolts of proofs / Antonella Cupillari. Third edition. Amsterdam ; Boston : Elsevier Academic Press, [2005]. ©2005. 1 online resource (xii, 179 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Includes bibliographical references (pages 173-176) and index. 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. 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." Print version record. Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Théorie de la preuve. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Proof theory fast dissertations. aat Academic theses fast Academic theses. lcgft http://id.loc.gov/authorities/genreForms/gf2014026039 Thèses et écrits académiques. rvmgf Print version: Cupillari, Antonella. Nuts and bolts of proofs. 3rd ed. Amsterdam ; Boston : Elsevier Academic Press, ©2005 0120885093 9780120885091 (DLC) 2005296426 (OCoLC)61269568 FWS01 ZDB-4-EBA FWS_PDA_EBA https://www.sciencedirect.com/science/book/9780120885091 Volltext FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=205386 Volltext |
| spellingShingle | Cupillari, Antonella The nuts and bolts of proofs / 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. Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Théorie de la preuve. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Proof theory fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85107437 http://id.loc.gov/authorities/genreForms/gf2014026039 |
| title | The nuts and bolts of proofs / |
| title_auth | The nuts and bolts of proofs / |
| title_exact_search | The nuts and bolts of proofs / |
| title_full | The nuts and bolts of proofs / Antonella Cupillari. |
| title_fullStr | The nuts and bolts of proofs / Antonella Cupillari. |
| title_full_unstemmed | The nuts and bolts of proofs / Antonella Cupillari. |
| title_short | The nuts and bolts of proofs / |
| title_sort | nuts and bolts of proofs |
| topic | Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Théorie de la preuve. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Proof theory fast |
| topic_facet | Proof theory. Théorie de la preuve. MATHEMATICS Infinity. MATHEMATICS Logic. Proof theory dissertations. Academic theses Academic theses. Thèses et écrits académiques. |
| url | https://www.sciencedirect.com/science/book/9780120885091 https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=205386 |
| work_keys_str_mv | AT cupillariantonella thenutsandboltsofproofs AT cupillariantonella nutsandboltsofproofs |