An Introduction to Mathematical Proofs (Record no. 18529)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 05846cam a2200577Mu 4500 |
001 - CONTROL NUMBER | |
control field | 9780429322587 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | FlBoTFG |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20220724194521.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
fixed length control field | m d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr cnu---unuuu |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 191123s2019 xx o 000 0 eng d |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | OCoLC-P |
Language of cataloging | eng |
Transcribing agency | OCoLC-P |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9781000709629 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 1000709620 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9781000709803 |
Qualifying information | (ePub ebook) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 1000709809 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9781000709711 |
Qualifying information | (Mobipocket ebook) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 100070971X |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780429322587 |
Qualifying information | (ebook) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 0429322585 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Canceled/invalid ISBN | 9780367338237 (hbk.) |
024 7# - OTHER STANDARD IDENTIFIER | |
Standard number or code | 10.1201/9780429322587 |
Source of number or code | doi |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (OCoLC)1128466687 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (OCoLC-P)1128466687 |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA39.2 |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | MAT |
Subject category code subdivision | 034000 |
Source | bisacsh |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | MAT |
Subject category code subdivision | 018000 |
Source | bisacsh |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | MAT |
Subject category code subdivision | 028000 |
Source | bisacsh |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | PB |
Source | bicssc |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 510 |
Edition number | 23 |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Loehr, Nicholas A. |
245 13 - TITLE STATEMENT | |
Title | An Introduction to Mathematical Proofs |
Medium | [electronic resource]. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
Place of publication, distribution, etc. | Milton : |
Name of publisher, distributor, etc. | CRC Press LLC, |
Date of publication, distribution, etc. | 2019. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 1 online resource (413 p.). |
336 ## - CONTENT TYPE | |
Content type term | text |
Source | rdacontent |
336 ## - CONTENT TYPE | |
Content type term | still image |
Source | rdacontent |
337 ## - MEDIA TYPE | |
Media type term | computer |
Source | rdamedia |
338 ## - CARRIER TYPE | |
Carrier type term | online resource |
Source | rdacarrier |
490 1# - SERIES STATEMENT | |
Series statement | Textbooks in Mathematics Ser. |
500 ## - GENERAL NOTE | |
General note | Description based upon print version of record. |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | <P>Logic</P><P>Propositions; Logical Connectives; Truth Tables</P><P>Logical Equivalence; IF-Statements</P><P>IF, IFF, Tautologies, and Contradictions</P><P>Tautologies; Quantifiers; Universes</P><P>Properties of Quantifiers: Useful Denials</P><P>Denial Practice; Uniqueness</P><P></P><B><P>Proofs</P></B><P>Definitions, Axioms, Theorems, and Proofs</P><P>Proving Existence Statements and IF Statements</P><P>Contrapositive Proofs; IFF Proofs</P><P>Proofs by Contradiction; OR Proofs</P><P>Proof by Cases; Disproofs</P><P>Proving Universal Statements; Multiple Quantifiers</P><P>More Quantifier Properties and Proofs (Optional)</P><P></P><B><P>Sets</P></B><P>Set Operations; Subset Proofs</P><P>More Subset Proofs; Set Equality Proofs</P><P>More Set Quality Proofs; Circle Proofs; Chain Proofs</P><P>Small Sets; Power Sets; Contrasting ? and ⁶</P><P>Ordered Pairs; Product Sets</P><P>General Unions and Intersections</P><P>Axiomatic Set Theory (Optional)</P><P></P><B><P>Integers</P></B><P>Recursive Definitions; Proofs by Induction</P><P>Induction Starting Anywhere: Backwards Induction</P><P>Strong Induction</P><P>Prime Numbers; Division with Remainder</P><P>Greatest Common Divisors; Euclid's GCD Algorithm</P><P>More on GCDs; Uniqueness of Prime Factorizations</P><P>Consequences of Prime Factorization (Optional)</P><P></P><B><P>Relations and Functions</P></B><P>Relations; Images of Sets under Relations</P><P>Inverses, Identity, and Composition of Relations</P><P>Properties of Relations</P><P>Definition of Functions</P><P>Examples of Functions; Proving Equality of Functions</P><P>Composition, Restriction, and Gluing</P><P>Direct Images and Preimages</P><P>Injective, Surjective, and Bijective Functions</P><P>Inverse Functions</P><P></P><B><P>Equivalence Relations and Partial Orders</P></B><P>Reflexive, Symmetric, and Transitive Relations</P><P>Equivalence Relations</P><P>Equivalence Classes</P><P>Set Partitions</P><P>Partially Ordered Sets</P><P>Equivalence Relations and Algebraic Structures (Optional)</P><P></P><B><P>Cardinality</P></B><P>Finite Sets</P><P>Countably Infinite Sets</P><P>Countable Sets</P><P>Uncountable Sets</P><P></P><B><P>Real Numbers (Optional)</P></B><P>Axioms for R; Properties of Addition</P><P>Algebraic Properties of Real Numbers</P><P>Natural Numbers, Integers, and Rational Numbers</P><P>Ordering, Absolute Value, and Distance</P><P>Greatest Elements, Least Upper Bounds, and Completeness</P><P></P><B><P>Suggestions for Further Reading</P></B> |
520 ## - SUMMARY, ETC. | |
Summary, etc. | An Introduction to Mathematical Proofs presents fundamental material on logic, proof methods, set theory, number theory, relations, functions, cardinality, and the real number system. The text uses a methodical, detailed, and highly structured approach to proof techniques and related topics. No prerequisites are needed beyond high-school algebra. New material is presented in small chunks that are easy for beginners to digest. The author offers a friendly style without sacrificing mathematical rigor. Ideas are developed through motivating examples, precise definitions, carefully stated theorems, clear proofs, and a continual review of preceding topics. Features Study aids including section summaries and over 1100 exercises Careful coverage of individual proof-writing skills Proof annotations and structural outlines clarify tricky steps in proofs Thorough treatment of multiple quantifiers and their role in proofs Unified explanation of recursive definitions and induction proofs, with applications to greatest common divisors and prime factorizations About the Author: Nicholas A. Loehr is an associate professor of mathematics at Virginia Technical University. He has taught at College of William and Mary, United States Naval Academy, and University of Pennsylvania. He has won many teaching awards at three different schools. He has published over 50 journal articles. He also authored three other books for CRC Press, including Combinatorics, Second Edition, and Advanced Linear Algebra. |
588 ## - SOURCE OF DESCRIPTION NOTE | |
Source of description note | OCLC-licensed vendor bibliographic record. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Proof theory. |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | MATHEMATICS / Mathematical Analysis |
Source of heading or term | bisacsh |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | MATHEMATICS / Logic |
Source of heading or term | bisacsh |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | MATHEMATICS / Set Theory |
Source of heading or term | bisacsh |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Materials specified | Read Online |
Uniform Resource Identifier | <a href="https://www.taylorfrancis.com/books/9780429322587">https://www.taylorfrancis.com/books/9780429322587</a> |
856 42 - ELECTRONIC LOCATION AND ACCESS | |
Materials specified | OCLC metadata license agreement |
Uniform Resource Identifier | <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | Library of Congress Classification |
Koha item type | eBook |
No items available.