Understanding mathematical proof. (2014)

• Record Type: Book
• Further Information: Note: John Taylor, Rowan Garnier.
• Other Names: Taylor, John, 1957-; Garnier, Rowan
• Contents: Introduction; The need for proof; The language of mathematics; Reasoning; Deductive reasoning and truth; Example proofs Logic and Reasoning; Introduction; Propositions, connectives, and truth tables; Logical equivalence and logical implication; Predicates and quantification; Logical reasoning Sets and Functions; Introduction; Sets and membership; Operations on sets; The Cartesian product; Functions and composite functions; Properties of functions The Structure of Mathematical Proofs; Introduction; Some proofs dissected; An informal framework for proofs; Direct proof; A more formal framework Finding Proofs; Direct proof route maps; Examples from sets and functions; Examples from algebra; Examples from analysis Direct Proof: Variations; Introduction; Proof using the contrapositive; Proof of biconditional statements; Proof of conjunctions; Proof by contradiction; Further examples Existence and Uniqueness; Introduction; Constructive existence proofs; Non-constructive existence proofs; Counter-examples; Uniqueness proofs Mathematical Induction; Introduction; Proof by induction; Variations on proof by induction Hints and Solutions to Selected Exercises Bibliography Index
• Publisher Details: Boca Raton : Taylor & Francis
• Publication Date: 2014
• Extent: 1 online resource
• Subjects: 511.36; Proof theory; Logic, Symbolic and mathematical; Logic, Symbolic and mathematical; Proof theory; Electronic books
• Languages: English
• ISBNs: 9781466514911; 1466514914
• Notes: Note: Includes bibliographical references and index.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.