How to read and do proofs: an introduction to mathematical thought processes
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York [u.a.]
Wiley
1990
|
| Ausgabe: | 2. ed. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XX, 242 S. graph. Darst. |
| ISBN: | 0471510041 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006588800 | ||
| 003 | DE-604 | ||
| 005 | 19950921 | ||
| 007 | t | ||
| 008 | 930210s1990 d||| |||| 00||| eng d | ||
| 020 | |a 0471510041 |9 0-471-51004-1 | ||
| 035 | |a (OCoLC)20757512 | ||
| 035 | |a (DE-599)BVBBV006588800 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-29T |a DE-384 |a DE-188 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Solow, Daniel |e Verfasser |0 (DE-588)141538406 |4 aut | |
| 245 | 1 | 0 | |a How to read and do proofs |b an introduction to mathematical thought processes |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a New York [u.a.] |b Wiley |c 1990 | |
| 300 | |a XX, 242 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Logica matematica (textos introdutorios) |2 larpcal | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Métamathématique |2 ram | |
| 650 | 7 | |a Preuve, Théorie de la |2 ram | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweis |0 (DE-588)4132532-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formaler Beweis |0 (DE-588)4506115-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 0 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | 1 | |a Formaler Beweis |0 (DE-588)4506115-4 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004206071&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004206071 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804120860713287680 |
|---|---|
| adam_text | CONTENTS
1. The Truth of It All 1
2. The Forward - Backward Method 11
3. On Definitions and Mathematical Terminology 29
4. Quantifiers I: The Construction Method 45
5. Quantifiers II: The Choose Method 53
6. Quantifiers III: Induction 69
7. Quantifiers IV: Specialization 83
8. Quantifiers V: Nested Quantifiers 93
9. The Contradiction Method 103
10. The Contrapositive Method 115
11. Nots of Nots Lead to Knots 125
12. Special Proof Techniques 133
13. Summary 149
APPENDIX A: Putting It All Together: Part I 163
APPENDIX B: Putting It All Together: Part II 113
Solutions to Exercises 183
Glossary of Mathematical Symbols 240
Index 241
xix
|
| any_adam_object | 1 |
| author | Solow, Daniel |
| author_GND | (DE-588)141538406 |
| author_facet | Solow, Daniel |
| author_role | aut |
| author_sort | Solow, Daniel |
| author_variant | d s ds |
| building | Verbundindex |
| bvnumber | BV006588800 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)20757512 (DE-599)BVBBV006588800 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02128nam a2200529 c 4500</leader><controlfield tag="001">BV006588800</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950921 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930210s1990 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0471510041</subfield><subfield code="9">0-471-51004-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)20757512</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006588800</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Solow, Daniel</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)141538406</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">How to read and do proofs</subfield><subfield code="b">an introduction to mathematical thought processes</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Wiley</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 242 S.</subfield><subfield code="b">graph. Darst.</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="7"><subfield code="a">Logica matematica (textos introdutorios)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Métamathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Preuve, Théorie de la</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formaler Beweis</subfield><subfield code="0">(DE-588)4506115-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formaler Beweis</subfield><subfield code="0">(DE-588)4506115-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=004206071&sequence=000002&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-004206071</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV006588800 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:48:48Z |
| institution | BVB |
| isbn | 0471510041 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004206071 |
| oclc_num | 20757512 |
| open_access_boolean | |
| owner | DE-739 DE-29T DE-384 DE-188 |
| owner_facet | DE-739 DE-29T DE-384 DE-188 |
| physical | XX, 242 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Wiley |
| record_format | marc |
| spelling | Solow, Daniel Verfasser (DE-588)141538406 aut How to read and do proofs an introduction to mathematical thought processes 2. ed. New York [u.a.] Wiley 1990 XX, 242 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Logica matematica (textos introdutorios) larpcal Logique symbolique et mathématique Métamathématique ram Preuve, Théorie de la ram Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf Formaler Beweis (DE-588)4506115-4 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Beweis (DE-588)4132532-1 s Mathematik (DE-588)4037944-9 s DE-604 Mathematische Logik (DE-588)4037951-6 s Formaler Beweis (DE-588)4506115-4 s 2\p DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004206071&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Solow, Daniel How to read and do proofs an introduction to mathematical thought processes Logica matematica (textos introdutorios) larpcal Logique symbolique et mathématique Métamathématique ram Preuve, Théorie de la ram Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Beweis (DE-588)4132532-1 gnd Formaler Beweis (DE-588)4506115-4 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4132532-1 (DE-588)4506115-4 (DE-588)4037944-9 (DE-588)4151278-9 |
| title | How to read and do proofs an introduction to mathematical thought processes |
| title_auth | How to read and do proofs an introduction to mathematical thought processes |
| title_exact_search | How to read and do proofs an introduction to mathematical thought processes |
| title_full | How to read and do proofs an introduction to mathematical thought processes |
| title_fullStr | How to read and do proofs an introduction to mathematical thought processes |
| title_full_unstemmed | How to read and do proofs an introduction to mathematical thought processes |
| title_short | How to read and do proofs |
| title_sort | how to read and do proofs an introduction to mathematical thought processes |
| title_sub | an introduction to mathematical thought processes |
| topic | Logica matematica (textos introdutorios) larpcal Logique symbolique et mathématique Métamathématique ram Preuve, Théorie de la ram Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Beweis (DE-588)4132532-1 gnd Formaler Beweis (DE-588)4506115-4 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Logica matematica (textos introdutorios) Logique symbolique et mathématique Métamathématique Preuve, Théorie de la Logic, Symbolic and mathematical Mathematische Logik Beweis Formaler Beweis Mathematik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004206071&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT solowdaniel howtoreadanddoproofsanintroductiontomathematicalthoughtprocesses |