A hands-on introduction to the tools needed for rigorous and theoretical mathematical reasoningSuccessfully addressing the frustration many students experience as they make the transition from computational mathematics to advanced calculus and algebraic structures, Theorems, Corollaries, Lemmas, and Methods of Proof equips students with the tools needed to succeed while providing a firm foundation in the axiomatic structure of modern mathematics.This essential book: Clearly explains the relationship between definitions, conjectures, theorems, corollaries, lemmas, and proofsReinforces the foundations of calculus and algebraExplores how to use both a direct and indirect proof to prove a theoremPresents the basic properties of real numbers/li>Discusses how to use mathematical induction to prove a theoremIdentifies the different types of theoremsExplains how to write a clear and understandable proofCovers the basic structure of modern mathematics and the key components of modern mathematicsA complete chapter is dedicated to the different methods of proof such as forward direct proofs, proof by contrapositive, proof by contradiction, mathematical induction, and existence proofs. In addition, the author has supplied many clear and detailed algorithms that outline these proofs.Theorems, Corollaries, Lemmas, and Methods of Proof uniquely introduces scratch work as an indispensable part of the proof process, encouraging students to use scratch work and creative thinking as the first steps in their attempt to prove a theorem. Once their scratch work successfully demonstrates the truth of the theorem, the proof can be written in a clear and concise fashion. The basic structure of modern mathematics is discussed, and each of the key components of modern mathematics is defined. Numerous exercises are included in each chapter, covering a wide range of topics with varied levels of difficulty.Intended as a main text for mathematics courses such as Methods of Proof, Transitions to Advanced Mathematics, and Foundations of Mathematics, the book may also be used as a supplementary textbook in junior- and senior-level courses on advanced calculus, real analysis, and modern algebra.
