An introduction to mathematical proofs. (2019)

• Record Type: Book
• Further Information: Note: Nicholas A. Loehr.
• Authors: Loehr, Nicholas A
• Contents: Logic Propositions; Logical Connectives; Truth Tables Logical Equivalence; IF-Statements IF, IFF, Tautologies, and Contradictions Tautologies; Quantifiers; Universes Properties of Quantifiers: Useful Denials Denial Practice; Uniqueness Proofs Definitions, Axioms, Theorems, and Proofs Proving Existence Statements and IF Statements Contrapositive Proofs; IFF Proofs Proofs by Contradiction; OR Proofs Proof by Cases; Disproofs Proving Universal Statements; Multiple Quantifiers More Quantifier Properties and Proofs (Optional) Sets Set Operations; Subset Proofs More Subset Proofs; Set Equality Proofs More Set Quality Proofs; Circle Proofs; Chain Proofs Small Sets; Power Sets; Contrasting ∈ and ⊆ Ordered Pairs; Product Sets General Unions and Intersections Axiomatic Set Theory (Optional) Integers Recursive Definitions; Proofs by Induction Induction Starting Anywhere: Backwards Induction Strong Induction Prime Numbers; Division with Remainder Greatest Common Divisors; Euclid’s GCD Algorithm More on GCDs; Uniqueness of Prime Factorizations Consequences of Prime Factorization (Optional) Relations and Functions Relations; Images of Sets under Relations Inverses, Identity, and Composition of Relations Properties of Relations Definition of Functions Examples of Functions; Proving Equality of Functions Composition, Restriction, and Gluing Direct Images and Preimages Injective, Surjective, and Bijective Functions Inverse Functions Equivalence Relations and Partial Orders Reflexive, Symmetric, and Transitive Relations Equivalence Relations Equivalence Classes Set Partitions Partially Ordered Sets Equivalence Relations and Algebraic Structures (Optional) Cardinality Finite Sets Countably Infinite Sets Countable Sets Uncountable Sets Real Numbers (Optional) Axioms for R; Properties of Addition Algebraic Properties of Real Numbers Natural Numbers, Integers, and Rational Numbers Ordering, Absolute Value, and Distance Greatest Elements, Least Upper Bounds, and Completeness Suggestions for Further Reading
• Edition: 1st
• Publisher Details: Boca Raton : CRC Press
• Publication Date: 2019
• Extent: 1 online resource, illustrations (black and white)
• Subjects: 511.36; Proof theory
• Languages: English
• ISBNs: 9781000709803; 9781000709629; 9781000709711; 9780429322587
• Related ISBNs: 9780367338237
• Notes: Note: Description based on CIP data; resource not viewed.
• 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.