An Introduction to Mathematical Proofs. (Record no. 14894)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04599nam a22004573i 4500 |
| 001 - CONTROL NUMBER | |
| control field | EBC5982415 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | MiAaPQ |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240724114033.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m o d | |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr cnu|||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 240724s2019 xx o ||||0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781000709629 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9780367338237 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (MiAaPQ)EBC5982415 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (Au-PeEL)EBL5982415 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)1128466687 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | MiAaPQ |
| Language of cataloging | eng |
| Description conventions | rda |
| -- | pn |
| Transcribing agency | MiAaPQ |
| Modifying agency | MiAaPQ |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA9.54 .L644 2020 |
| 082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.36 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Loehr, Nicholas A. |
| 245 13 - TITLE STATEMENT | |
| Title | An Introduction to Mathematical Proofs. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Milton : |
| Name of producer, publisher, distributor, manufacturer | Taylor & Francis Group, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2019. |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Date of production, publication, distribution, manufacture, or copyright notice | ©2020. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (413 pages) |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 490 1# - SERIES STATEMENT | |
| Series statement | Textbooks in Mathematics Series |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Cover -- Half Title -- Series Page -- Title Page -- Copyright Page -- Dedication -- Contents -- Preface -- 1. Logic -- 1.1 Propositions, Logical Connectives, and Truth Tables -- 1.2 Logical Equivalences and IF-Statements -- 1.3 IF, IFF, Tautologies, and Contradictions -- 1.4 Tautologies, Quanti ers, and Universes -- 1.5 Quantifier Properties and Useful Denials -- 1.6 Denial Practice and Uniqueness Statements -- 2. Proofs -- 2.1 Definitions, Axioms, Theorems, and Proofs -- 2.2 Proving Existence Statements and IF Statements -- 2.3 Contrapositive Proofs and IFF Proofs -- 2.4 Proofs by Contradiction and Proofs of OR-Statements -- 2.5 Proofs by Cases and Disproofs -- 2.6 Proving Quantified Statements -- 2.7 More Quantifier Properties and Proofs (Optional) -- Review of Logic and Proofs -- 3. Sets -- 3.1 Set Operations and Subset Proofs -- 3.2 Subset Proofs and Set Equality Proofs -- 3.3 Set Equality Proofs, Circle Proofs, and Chain Proofs -- 3.4 Small Sets and Power Sets -- 3.5 Ordered Pairs and Product Sets -- 3.6 General Unions and Intersections -- 3.7 Axiomatic Set Theory (Optional) -- 4. Integers -- 4.1 Recursive Definitions and Proofs by Induction -- 4.2 Induction Starting Anywhere and Backwards Induction -- 4.3 Strong Induction -- 4.4 Prime Numbers and Integer Division -- 4.5 Greatest Common Divisors -- 4.6 GCDs and Uniqueness of Prime Factorizations -- 4.7 Consequences of Prime Factorization (Optional) -- Review of Set Theory and Integers -- 5. Relations and Functions -- 5.1 Relations -- 5.2 Inverses, Identity, and Composition of Relations -- 5.3 Properties of Relations -- 5.4 Definition of Functions -- 5.5 Examples of Functions and Function Equality -- 5.6 Composition, Restriction, and Gluing -- 5.7 Direct Images and Preimages -- 5.8 Injective, Surjective, and Bijective Functions -- 5.9 Inverse Functions. |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 6. Equivalence Relations and Partial Orders -- 6.1 Reflexive, Symmetric, and Transitive Relations -- 6.2 Equivalence Relations -- 6.3 Equivalence Classes -- 6.4 Set Partitions -- 6.5 Partially Ordered Sets -- 6.6 Equivalence Relations and Algebraic Structures (Optional) -- 7. Cardinality -- 7.1 Finite Sets -- 7.2 Countably Infinite Sets -- 7.3 Countable Sets -- 7.4 Uncountable Sets -- Review of Functions, Relations, and Cardinality -- 8. Real Numbers (Optional) -- 8.1 Axioms for R and Properties of Addition -- 8.2 Algebraic Properties of Real Numbers -- 8.3 Natural Numbers, Integers, and Rational Numbers -- 8.4 Ordering, Absolute Value, and Distance -- 8.5 Greatest Elements, Least Upper Bounds, and Completeness -- Suggestions for Further Reading -- Index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This book contains an introduction to mathematical proofs, including fundamental material on logic, proof methods, set theory, number theory, relations, functions, cardinality, and the real number system. The book is divided into approximately fifty brief lectures. Each lecture corresponds rather closely to a single class meeting. |
| 588 ## - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Description based on publisher supplied metadata and other sources. |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Proof theory. |
| 655 #4 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Electronic books. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| Main entry heading | Loehr, Nicholas A. |
| Title | An Introduction to Mathematical Proofs |
| Place, publisher, and date of publication | Milton : Taylor & Francis Group,c2019 |
| International Standard Book Number | 9780367338237 |
| 797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN) | |
| Corporate name or jurisdiction name as entry element | ProQuest (Firm) |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Textbooks in Mathematics Series |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=5982415">https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=5982415</a> |
| Public note | Click to View |
No items available.