Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Boston :
Elsevier Academic Press,
©2005.
|
| Edición: | 3rd ed. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn162130107 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070802s2005 ne a ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |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 | ||
| 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 1035700881 |a 1037740163 |a 1038677246 |a 1055388009 |a 1064144917 |a 1081257709 |a 1086954418 |a 1110254563 |a 1153542772 | ||
| 020 | |a 9780120885091 | ||
| 020 | |a 0120885093 | ||
| 020 | |a 9780080537900 |q (electronic bk.) | ||
| 020 | |a 0080537901 |q (electronic bk.) | ||
| 029 | 1 | |a AU@ |b 000044591960 | |
| 029 | 1 | |a AU@ |b 000048130811 | |
| 029 | 1 | |a AU@ |b 000051558045 | |
| 029 | 1 | |a CHNEW |b 001005546 | |
| 029 | 1 | |a DEBBG |b BV036962224 | |
| 029 | 1 | |a DEBBG |b BV042317242 | |
| 029 | 1 | |a DEBBG |b BV043043845 | |
| 029 | 1 | |a DEBSZ |b 276030664 | |
| 029 | 1 | |a DEBSZ |b 422179124 | |
| 029 | 1 | |a NZ1 |b 12432689 | |
| 029 | 1 | |a NZ1 |b 14540394 | |
| 029 | 1 | |a NZ1 |b 15192823 | |
| 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)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 | ||
| 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 | 0 | 4 | |a 511.3/6 |2 22 |
| 084 | |a 31.10 |2 bcl | ||
| 049 | |a UAMI | ||
| 100 | 1 | |a Cupillari, Antonella. | |
| 245 | 1 | 4 | |a The nuts and bolts of proofs / |c Antonella Cupillari. |
| 250 | |a 3rd ed. | ||
| 260 | |a Amsterdam ; |a Boston : |b Elsevier Academic Press, |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. | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Proof theory. | |
| 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 | |
| 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 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=205386 |z Texto completo |
| 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 IZTAP | ||