The nuts and bolts of proofs:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam ; Boston
Elsevier Academic Press
2005
|
| Ausgabe: | 3rd ed |
| Schlagworte: | |
| Beschreibung: | Print version record |
| Beschreibung: | 1 online resource (xii, 179 pages) illustrations |
| ISBN: | 9780120885091 0120885093 9780080537900 0080537901 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV045341803 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 181206s2005 |||| o||u| ||||||eng d | ||
| 020 | |a 9780120885091 |9 978-0-12-088509-1 | ||
| 020 | |a 0120885093 |9 0-12-088509-3 | ||
| 020 | |a 9780080537900 |9 978-0-08-053790-0 | ||
| 020 | |a 0080537901 |9 0-08-053790-1 | ||
| 035 | |a (ZDB-4-ENC)ocn162130107 | ||
| 035 | |a (OCoLC)162130107 | ||
| 035 | |a (DE-599)BVBBV045341803 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 511.3/6 |2 22 | |
| 100 | 1 | |a Cupillari, Antonella |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The nuts and bolts of proofs |c Antonella Cupillari |
| 250 | |a 3rd ed | ||
| 264 | 1 | |a Amsterdam ; Boston |b Elsevier Academic Press |c 2005 | |
| 300 | |a 1 online resource (xii, 179 pages) |b illustrations | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Print version record | ||
| 505 | 8 | |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." | |
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Proof theory |2 fast | |
| 650 | 4 | |a Proof theory | |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Cupillari, Antonella |t Nuts and bolts of proofs |b 3rd ed |d Amsterdam ; Boston : Elsevier Academic Press, 2005 |z 0120885093 |z 9780120885091 |
| 912 | |a ZDB-4-ENC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030728506 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804179158890184704 |
|---|---|
| any_adam_object | |
| author | Cupillari, Antonella |
| author_facet | Cupillari, Antonella |
| author_role | aut |
| author_sort | Cupillari, Antonella |
| author_variant | a c ac |
| building | Verbundindex |
| bvnumber | BV045341803 |
| collection | ZDB-4-ENC |
| contents | 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." |
| ctrlnum | (ZDB-4-ENC)ocn162130107 (OCoLC)162130107 (DE-599)BVBBV045341803 |
| 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 | 3rd ed |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02307nmm a2200457zc 4500</leader><controlfield tag="001">BV045341803</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">181206s2005 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780120885091</subfield><subfield code="9">978-0-12-088509-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0120885093</subfield><subfield code="9">0-12-088509-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080537900</subfield><subfield code="9">978-0-08-053790-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080537901</subfield><subfield code="9">0-08-053790-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-4-ENC)ocn162130107</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162130107</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045341803</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/6</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cupillari, Antonella</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><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">3rd ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam ; Boston</subfield><subfield code="b">Elsevier Academic Press</subfield><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="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Print version record</subfield></datafield><datafield tag="505" ind1="8" 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="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / 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="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</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></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-ENC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030728506</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV045341803 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T08:15:25Z |
| institution | BVB |
| isbn | 9780120885091 0120885093 9780080537900 0080537901 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030728506 |
| oclc_num | 162130107 |
| open_access_boolean | |
| physical | 1 online resource (xii, 179 pages) illustrations |
| psigel | ZDB-4-ENC |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Elsevier Academic Press |
| record_format | marc |
| spelling | Cupillari, Antonella Verfasser aut The nuts and bolts of proofs Antonella Cupillari 3rd ed Amsterdam ; Boston Elsevier Academic Press 2005 1 online resource (xii, 179 pages) illustrations txt rdacontent c rdamedia cr rdacarrier Print version record 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." MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Proof theory fast Proof theory Beweistheorie (DE-588)4145177-6 gnd rswk-swf Beweistheorie (DE-588)4145177-6 s 1\p DE-604 Erscheint auch als Druck-Ausgabe Cupillari, Antonella Nuts and bolts of proofs 3rd ed Amsterdam ; Boston : Elsevier Academic Press, 2005 0120885093 9780120885091 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Cupillari, Antonella 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 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." MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Proof theory fast Proof theory Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4145177-6 |
| 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 | the nuts and bolts of proofs |
| topic | MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Proof theory fast Proof theory Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | MATHEMATICS / Infinity MATHEMATICS / Logic Proof theory Beweistheorie |
| work_keys_str_mv | AT cupillariantonella thenutsandboltsofproofs |