How to prove it: a structured approach
"Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This book will prepare students for such courses by teaching them techniques for writing and reading proofs. No background beyond high school mathematics is assumed. The book begin...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge
Cambridge Univ. Press
1994
|
| Edition: | 1. publ. |
| Subjects: | |
| Summary: | "Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This book will prepare students for such courses by teaching them techniques for writing and reading proofs. No background beyond high school mathematics is assumed. The book begins with logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. This understanding of the language of mathematics serves as the basis for a detailed discussion of the most important techniques used in proofs, when and how to use them, and how they are combined to produce complex proofs. Material on the natural numbers, relations, functions, and infinite sets provides practice in writing and reading proofs, as well as supplying background that will be valuable in most theoretical mathematics courses."--BOOK JACKET. |
| Physical Description: | IX, 309 S. graph. Darst. |
| ISBN: | 0521441161 0521446635 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010032936 | ||
| 003 | DE-604 | ||
| 005 | 19951120 | ||
| 007 | t | ||
| 008 | 950208s1994 d||| |||| 00||| eng d | ||
| 020 | |a 0521441161 |9 0-521-44116-1 | ||
| 020 | |a 0521446635 |9 0-521-44663-5 | ||
| 035 | |a (OCoLC)28257516 | ||
| 035 | |a (DE-599)BVBBV010032936 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-20 |a DE-29T |a DE-91 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 036f |2 stub | ||
| 084 | |a 03F07 |2 msc | ||
| 100 | 1 | |a Velleman, Daniel J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a How to prove it |b a structured approach |c Daniel J. Velleman |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge |b Cambridge Univ. Press |c 1994 | |
| 300 | |a IX, 309 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 520 | 1 | |a "Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This book will prepare students for such courses by teaching them techniques for writing and reading proofs. No background beyond high school mathematics is assumed. The book begins with logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. This understanding of the language of mathematics serves as the basis for a detailed discussion of the most important techniques used in proofs, when and how to use them, and how they are combined to produce complex proofs. Material on the natural numbers, relations, functions, and infinite sets provides practice in writing and reading proofs, as well as supplying background that will be valuable in most theoretical mathematics courses."--BOOK JACKET. | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a MATEMÁTICA (PROBLEMAS E EXERCÍCIOS) |2 larpcal | |
| 650 | 4 | |a Mathématiques | |
| 650 | 7 | |a Mathématiques |2 ram | |
| 650 | 7 | |a Preuve, Théorie de la |2 ram | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematics | |
| 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 Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |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 Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 1 | 1 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 1 | |5 DE-188 | |
| 689 | 2 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 689 | 3 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 3 | |8 3\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006652785 | ||
| 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 | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804124413821452288 |
|---|---|
| any_adam_object | |
| author | Velleman, Daniel J. |
| author_facet | Velleman, Daniel J. |
| author_role | aut |
| author_sort | Velleman, Daniel J. |
| author_variant | d j v dj djv |
| building | Verbundindex |
| bvnumber | BV010032936 |
| 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 |
| classification_tum | MAT 036f |
| ctrlnum | (OCoLC)28257516 (DE-599)BVBBV010032936 |
| 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 | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03295nam a2200697 c 4500</leader><controlfield tag="001">BV010032936</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951120 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950208s1994 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521441161</subfield><subfield code="9">0-521-44116-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521446635</subfield><subfield code="9">0-521-44663-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28257516</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010032936</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-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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="084" ind1=" " ind2=" "><subfield code="a">MAT 036f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03F07</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Velleman, Daniel J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">How to prove it</subfield><subfield code="b">a structured approach</subfield><subfield code="c">Daniel J. Velleman</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 309 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="520" ind1="1" ind2=" "><subfield code="a">"Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This book will prepare students for such courses by teaching them techniques for writing and reading proofs. No background beyond high school mathematics is assumed. The book begins with logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. This understanding of the language of mathematics serves as the basis for a detailed discussion of the most important techniques used in proofs, when and how to use them, and how they are combined to produce complex proofs. Material on the natural numbers, relations, functions, and infinite sets provides practice in writing and reading proofs, as well as supplying background that will be valuable in most theoretical mathematics courses."--BOOK JACKET.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</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">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATEMÁTICA (PROBLEMAS E EXERCÍCIOS)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathématiques</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">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</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">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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">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="689" ind1="1" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006652785</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\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.BV010032936 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:45:17Z |
| institution | BVB |
| isbn | 0521441161 0521446635 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006652785 |
| oclc_num | 28257516 |
| open_access_boolean | |
| owner | DE-739 DE-20 DE-29T DE-91 DE-BY-TUM DE-83 DE-11 DE-188 |
| owner_facet | DE-739 DE-20 DE-29T DE-91 DE-BY-TUM DE-83 DE-11 DE-188 |
| physical | IX, 309 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spelling | Velleman, Daniel J. Verfasser aut How to prove it a structured approach Daniel J. Velleman 1. publ. Cambridge Cambridge Univ. Press 1994 IX, 309 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier "Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This book will prepare students for such courses by teaching them techniques for writing and reading proofs. No background beyond high school mathematics is assumed. The book begins with logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. This understanding of the language of mathematics serves as the basis for a detailed discussion of the most important techniques used in proofs, when and how to use them, and how they are combined to produce complex proofs. Material on the natural numbers, relations, functions, and infinite sets provides practice in writing and reading proofs, as well as supplying background that will be valuable in most theoretical mathematics courses."--BOOK JACKET. Logica gtt Logique symbolique et mathématique Logique symbolique et mathématique ram MATEMÁTICA (PROBLEMAS E EXERCÍCIOS) larpcal Mathématiques Mathématiques ram Preuve, Théorie de la ram Logik Mathematik Logic, Symbolic and mathematical Mathematics Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Beweistheorie (DE-588)4145177-6 s DE-604 Mathematik (DE-588)4037944-9 s Beweis (DE-588)4132532-1 s DE-188 Mengenlehre (DE-588)4074715-3 s 2\p DE-604 Mathematische Logik (DE-588)4037951-6 s 3\p DE-604 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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Velleman, Daniel J. How to prove it a structured approach Logica gtt Logique symbolique et mathématique Logique symbolique et mathématique ram MATEMÁTICA (PROBLEMAS E EXERCÍCIOS) larpcal Mathématiques Mathématiques ram Preuve, Théorie de la ram Logik Mathematik Logic, Symbolic and mathematical Mathematics Mathematische Logik (DE-588)4037951-6 gnd Beweis (DE-588)4132532-1 gnd Mengenlehre (DE-588)4074715-3 gnd Beweistheorie (DE-588)4145177-6 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4132532-1 (DE-588)4074715-3 (DE-588)4145177-6 (DE-588)4037944-9 (DE-588)4151278-9 |
| title | How to prove it a structured approach |
| title_auth | How to prove it a structured approach |
| title_exact_search | How to prove it a structured approach |
| title_full | How to prove it a structured approach Daniel J. Velleman |
| title_fullStr | How to prove it a structured approach Daniel J. Velleman |
| title_full_unstemmed | How to prove it a structured approach Daniel J. Velleman |
| title_short | How to prove it |
| title_sort | how to prove it a structured approach |
| title_sub | a structured approach |
| topic | Logica gtt Logique symbolique et mathématique Logique symbolique et mathématique ram MATEMÁTICA (PROBLEMAS E EXERCÍCIOS) larpcal Mathématiques Mathématiques ram Preuve, Théorie de la ram Logik Mathematik Logic, Symbolic and mathematical Mathematics Mathematische Logik (DE-588)4037951-6 gnd Beweis (DE-588)4132532-1 gnd Mengenlehre (DE-588)4074715-3 gnd Beweistheorie (DE-588)4145177-6 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Logica Logique symbolique et mathématique MATEMÁTICA (PROBLEMAS E EXERCÍCIOS) Mathématiques Preuve, Théorie de la Logik Mathematik Logic, Symbolic and mathematical Mathematics Mathematische Logik Beweis Mengenlehre Beweistheorie Einführung |
| work_keys_str_mv | AT vellemandanielj howtoproveitastructuredapproach |