03229nam 2200577 a 450 991078455120332120230120004747.01-281-05681-297866110568100-08-053790-1(CKB)1000000000364692(EBL)311405(OCoLC)476098365(SSID)ssj0000213161(PQKBManifestationID)11201706(PQKBTitleCode)TC0000213161(PQKBWorkID)10159928(PQKB)10207677(MiAaPQ)EBC311405(Au-PeEL)EBL311405(CaPaEBR)ebr10190042(CaONFJC)MIL105681(EXLCZ)99100000000036469220051014d2005 uy 0engur|n|---|||||txtccrThe nuts and bolts of proofs[electronic resource] /Antonella Cupillari3rd ed.Amsterdam ;Boston Elsevier Academic Pressc20051 online resource (193 p.)Description based upon print version of record.0-08-051894-X 0-12-088509-3 Includes bibliographical references (p. 173-176) and index.Front Cover; The Nuts and Bolts of Proofs; Copyright Page; List of Symbols; Contents; Preface; Chapter 1. Introduction and Basic Terminology; Chapter 2. General Suggestions; Chapter 3. Basic Techniques to Prove If/Then Statements; Direct Proof; Related Statements; Proof by Contrapositive (AKA Proof by Contradiction or Indirect Proof); How to Construct the Negation of a Statement; Chapter 4. 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 NumbersComposite StatementsLimits; Chapter 5. Review Exercises; Chapter 6. Exercises Without Solutions; Chapter 7. Collection of Proofs; Chapter 8. Solutions for the Exercises at the End of the Sections and the Review Exercises; Solutions for the Exercises at the End of the Sections; Solutions for the Review Exercises; Chapter 9. Other Books on the Subject of Proofs and Mathematical Writing; Index; A Guide to Selecting a Method of ProofThe 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 haProof theoryProof theory.511.3/6Cupillari Antonella627650MiAaPQMiAaPQMiAaPQBOOK9910784551203321Nuts and bolts of proofs1213908UNINA