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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Cupillari, Antonella
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 SCIDIR_ocn162130107
003 OCoLC
005 20231117014819.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.) 
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 
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 
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. 
650 0 |a Proof theory. 
650 6 |a Th�eorie de la preuve.  |0 (CaQQLa)201-0028832 
650 7 |a MATHEMATICS  |x Infinity.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Logic.  |2 bisacsh 
650 7 |a Proof theory  |2 fast  |0 (OCoLC)fst01078942 
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://sciencedirect.uam.elogim.com/science/book/9780120885091  |z Texto completo