Proofs 101 : (Record no. 70827)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03903cam a22005411i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 9781003082927 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220531132328.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m d |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 200907s2021 flua ob 001 0 eng d |
| 040 ## - Cataloging Source | |
| -- | OCoLC-P |
| -- | eng |
| -- | rda |
| -- | pn |
| -- | OCoLC-P |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781000227383 |
| -- | (ePub ebook) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1000227383 |
| -- | (ePub ebook) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781000227345 |
| -- | (PDF ebook) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1000227340 |
| -- | (PDF ebook) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781000227369 |
| -- | (Mobipocket ebook) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1000227367 |
| -- | (Mobipocket ebook) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781003082927 |
| -- | (ebook) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1003082920 |
| -- | (ebook) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9780367536930 (hbk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9780367536817 (pbk.) |
| 024 7# - | |
| -- | 10.1201/9781003082927 |
| -- | doi |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)1222798167 |
| Canceled/invalid control number | (OCoLC)1222799698 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC-P)1222798167 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA9.54 |
| 072 #7 - | |
| -- | MAT |
| -- | 028000 |
| -- | bisacsh |
| 072 #7 - | |
| -- | MAT |
| -- | 018000 |
| -- | bisacsh |
| 072 #7 - | |
| -- | PB |
| -- | bicssc |
| 082 04 - | |
| -- | 511.36 |
| -- | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Kirtland, Joseph |
| Titles and words associated with a name | (Mathematics professor), |
| Relator term | author. |
| 245 10 - TITLE STATEMENT | |
| Title | Proofs 101 : |
| Remainder of title | an introduction to formal mathematics / |
| Statement of responsibility, etc. | Joseph Kirtland. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st. |
| 264 #1 - | |
| -- | Boca Raton : |
| -- | Chapman & Hall/CRC, |
| -- | 2021. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource : |
| Other physical details | illustrations (black and white) |
| 336 ## - | |
| -- | text |
| -- | rdacontent |
| 336 ## - | |
| -- | still image |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | rdacarrier |
| 500 ## - GENERAL NOTE | |
| General note | <P><STRONG>1. Logic.</STRONG> 1.1 Introduction. 1.2. Statements and Logical Connectives. 1.3 Logical Equivalence. 1.4. Predicates and Quantifiers. 1.5. Negation. <STRONG>2. Proof Techniques</STRONG>. 2.1. Introduction. 2.2. The Axiomatic and Rigorous Nature of Mathematics. 2.3. Foundations. 2.4. Direct Proof. 2.5. Proof by Contrapositive. 2.5. Proof by Cases. 2.6. Proof by Contradiction. <STRONG>3. Sets.</STRONG> 3.1. The Concept of a Set. 3.2. Subset of Set Equality. 3.3. Operations on Sets. 3.4. Indexed Sets. 3.5. Russel's Paradox. <STRONG>4. Proof by Mathematical Induction.</STRONG> 4.1. Introduction. 4.2. The Principle of Mathematical Induction. 4.3. Proof by strong Induction. <STRONG>5. Relations.</STRONG> 5.1. Introduction. 5.2. Properties of Relations. 5.3. Equivalence Relations.<STRONG> 6. Introduction.</STRONG> 6.1. Definition of a Function. 6.2. One-To-One and Onto Functions. 6.3. Composition of Functions. 6.4. Inverse of a Function.<STRONG> 7. Cardinality of Sets.</STRONG> 7.1. Introduction. 7.2. Sets with the same Cardinality. 7.3. Finite and Infinite Sets. 7.4. Countably Infinite Sets. 7.5. Uncountable Sets. 7.6 Comparing Cardinalities. </P> |
| 520 ## - | |
| -- | Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and a first course in linear algebra. The book prepares students for the proofs they will need to analyze and write the axiomatic nature of mathematics and the rigors of upper-level mathematics courses. Basic number theory, relations, functions, cardinality, and set theory will provide the material for the proofs and lay the foundation for a deeper understanding of mathematics, which students will need to carry with them throughout their future studies. Features Designed to be teachable across a single semester Suitable as an undergraduate textbook for Introduction to Proofs or Transition to Advanced Mathematics courses Offers a balanced variety of easy, moderate, and difficult exercises |
| 588 ## - | |
| -- | OCLC-licensed vendor bibliographic record. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Proof theory. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | MATHEMATICS / Set Theory |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | MATHEMATICS / Logic |
| Source of heading or term | bisacsh |
| 856 40 - | |
| -- | Taylor & Francis |
| -- | https://www.taylorfrancis.com/books/9781003082927 |
| 856 42 - | |
| -- | OCLC metadata license agreement |
| -- | http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf |
No items available.