The nuts and bolts of proofs:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam [u.a.]
Elsevier Acad. Press
2005
|
| Edition: | 3. ed. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XII, 179 S. graph. Darst. 23 cm |
| ISBN: | 0120885093 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV023799957 | ||
| 003 | DE-604 | ||
| 005 | 20071025000000.0 | ||
| 007 | t | ||
| 008 | 060907s2005 d||| |||| 00||| eng d | ||
| 020 | |a 0120885093 |9 0-12-088509-3 | ||
| 035 | |a (OCoLC)61269568 | ||
| 035 | |a (DE-599)BVBBV023799957 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-634 |a DE-19 |a DE-11 | ||
| 050 | 0 | |a QA9.54 | |
| 082 | 0 | |a 511.3/6 |2 22 | |
| 084 | |a SK 110 |0 (DE-625)143215: |2 rvk | ||
| 100 | 1 | |a Cupillari, Antonella |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The nuts and bolts of proofs |c Antonella Cupillari |
| 250 | |a 3. ed. | ||
| 264 | 1 | |a Amsterdam [u.a.] |b Elsevier Acad. Press |c 2005 | |
| 300 | |a XII, 179 S. |b graph. Darst. |c 23 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 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 | |5 DE-604 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017442158&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017442158 | ||
Record in the Search Index
| _version_ | 1804138997638758400 |
|---|---|
| adam_text | THE NUTS AND BOLTS OF PROOFS THIRD EDITION ANTONELLA CUPILLARI PENN
STATE ERIE, THE BEHREND COLLEGE LIST OF SYMBOLS V PREFACE XI
INTRODUCTION AND BASIC TERMINOLOGY 1 GENERAL SUGGESTIONS 5 BASIC
TECHNIQUES TO PROVE IF/THEN STATEMENTS 9 DIRECT PROOF 12 RELATED
STATEMENTS 19 PROOF BY CONTRAPOSITIVE (AKA PROOF BY CONTRADICTION OR
INDIRECT PROOF) 22 HOW TO CONSTRUCT THE NEGATION OF A STATEMENT 25
SPECIAL KINDS OF THEOREMS 35 IF AND ONLY IF OR EQUIVALENCE THEOREMS
35 USE OF COUNTEREXAMPLES 45 MATHEMATICAL INDUCTION 48 EXISTENCE
THEOREMS 58 UNIQUENESS THEOREMS 61 EQUALITY OF SETS 68 EQUALITY OF
NUMBERS 78 IX CONTENTS COMPOSITE STATEMENTS 81 LIMITS 91 REVIEW
EXERCISES 103 EXERCISES WITHOUT SOLUTIONS 107 COLLECTION OF PROOFS 115
SOLUTIONS FOR THE EXERCISES AT THE END OF THE SECTIONS AND THE REVIEW
EXERCISES 123 SOLUTIONS FOR THE EXERCISES AT THE END OF THE SECTIONS 124
SOLUTIONS FOR THE REVIEW EXERCISES 151 OTHER BOOKS ON THE SUBJECT OF
PROOFS AND MATHEMATICAL WRITING 173 INDEX 177
|
| any_adam_object | 1 |
| author | Cupillari, Antonella |
| author_facet | Cupillari, Antonella |
| author_role | aut |
| author_sort | Cupillari, Antonella |
| author_variant | a c ac |
| building | Verbundindex |
| bvnumber | BV023799957 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.54 |
| callnumber-search | QA9.54 |
| callnumber-sort | QA 19.54 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 110 |
| ctrlnum | (OCoLC)61269568 (DE-599)BVBBV023799957 |
| 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 | 3. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01273nam a2200361zc 4500</leader><controlfield tag="001">BV023799957</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20071025000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060907s2005 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0120885093</subfield><subfield code="9">0-12-088509-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)61269568</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023799957</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/6</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 110</subfield><subfield code="0">(DE-625)143215:</subfield><subfield code="2">rvk</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">3. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Elsevier Acad. Press</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 179 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">23 cm</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</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="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017442158&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017442158</subfield></datafield></record></collection> |
| id | DE-604.BV023799957 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:37:05Z |
| institution | BVB |
| isbn | 0120885093 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017442158 |
| oclc_num | 61269568 |
| open_access_boolean | |
| owner | DE-634 DE-19 DE-BY-UBM DE-11 |
| owner_facet | DE-634 DE-19 DE-BY-UBM DE-11 |
| physical | XII, 179 S. graph. Darst. 23 cm |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Elsevier Acad. Press |
| record_format | marc |
| spelling | Cupillari, Antonella Verfasser aut The nuts and bolts of proofs Antonella Cupillari 3. ed. Amsterdam [u.a.] Elsevier Acad. Press 2005 XII, 179 S. graph. Darst. 23 cm txt rdacontent n rdamedia nc rdacarrier Proof theory Beweistheorie (DE-588)4145177-6 gnd rswk-swf Beweistheorie (DE-588)4145177-6 s DE-604 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017442158&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Cupillari, Antonella The nuts and bolts of proofs 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 | Proof theory Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Proof theory Beweistheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017442158&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT cupillariantonella thenutsandboltsofproofs |