Logic and Discrete Mathematics : (Record no. 32761)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04589nam a22004573i 4500 |
| 001 - CONTROL NUMBER | |
| control field | EBC7104043 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | MiAaPQ |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240724115644.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 | 240724s2015 xx o ||||0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781118761090 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9781118751275 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (MiAaPQ)EBC7104043 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (Au-PeEL)EBL7104043 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)1347028645 |
| 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 .C7423 2015 |
| 082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Conradie, Willem. |
| 245 10 - TITLE STATEMENT | |
| Title | Logic and Discrete Mathematics : |
| Remainder of title | A Concise Introduction. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Newark : |
| Name of producer, publisher, distributor, manufacturer | John Wiley & Sons, Incorporated, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2015. |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Date of production, publication, distribution, manufacture, or copyright notice | ©2014. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (590 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 | New York Academy of Sciences Series |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Intro -- Title Page -- Copyright -- Table of Contents -- List of Boxes -- Preface -- Acknowledgements -- About the Companion Website -- Chapter 1: Preliminaries -- 1.1 Sets -- 1.2 Basics of logical connectives and expressions -- 1.3 Mathematical induction -- Chapter 2: Sets, Relations, Orders -- 2.1 Set inclusions and equalities -- 2.2 Functions -- 2.3 Binary relations and operations on them -- 2.4 Special binary relations -- 2.5 Equivalence relations and partitions -- 2.6 Ordered sets -- 2.7 An introduction to cardinality -- 2.8 Isomorphisms of ordered sets. Ordinal numbers -- 2.9 Application: relational databases -- Chapter 3: Propositional Logic -- 3.1 Propositions, logical connectives, truth tables, tautologies -- 3.2 Propositional logical consequence. Valid and invalid propositional inferences -- 3.3 The concept and use of deductive systems -- 3.4 Semantic tableaux -- 3.5 Logical equivalences. Negating propositional formulae -- 3.6 Normal forms. Propositional resolution -- Chapter 4: First-Order Logic -- 4.1 Basic concepts of first-order logic -- 4.2 The formal semantics of first-order logic -- 4.3 The language of first-order logic: a deeper look -- 4.4 Truth, logical validity, equivalence and consequence in first-order logic -- 4.5 Semantic tableaux for first-order logic -- 4.6 Prenex and clausal normal forms -- 4.7 Resolution in first-order logic -- 4.8 Applications of first-order logic to mathematical reasoning and proofs -- Chapter 5: Number Theory -- 5.1 The principle of mathematical induction revisited -- 5.2 Divisibility -- 5.3 Computing greatest common divisors. Least common multiples -- 5.4 Prime numbers. The fundamental theorem of arithmetic -- 5.5 Congruence relations -- 5.6 Equivalence classes and residue systems modulo n -- 5.7 Linear Diophantine equations and linear congruences -- 5.8 Chinese remainder theorem. |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 5.9 Euler's function. Theorems of Euler and Fermat -- 5.10 Wilson's theorem. Order of an integer -- 5.11 Application: public key cryptography -- Chapter 6: Combinatorics -- 6.1 Two basic counting principles -- 6.2 Combinations. The binomial theorem -- 6.3 The principle of inclusion-exclusion -- 6.4 The Pigeonhole Principle -- 6.5 Generalized permutations, distributions and the multinomial theorem -- 6.6 Selections and arrangements with repetition -- distributions of identical objects -- 6.7 Recurrence relations and their solution -- 6.8 Generating functions -- 6.9 Recurrence relations and generating functions -- 6.10 Application: classical discrete probability -- Chapter 7: Graph Theory -- 7.1 Introduction to graphs and digraphs -- 7.2 Incidence and adjacency matrices -- 7.3 Weighted graphs and path algorithms -- 7.4 Trees -- 7.5 Eulerian graphs and Hamiltonian graphs -- 7.6 Planar graphs -- 7.7 Graph colourings -- Index -- End User License Agreement. |
| 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 | Computer science-Mathematics-Textbooks. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Logic, Symbolic and mathematical-Textbooks. |
| 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 | Conradie, Willem |
| Title | Logic and Discrete Mathematics |
| Place, publisher, and date of publication | Newark : John Wiley & Sons, Incorporated,c2015 |
| International Standard Book Number | 9781118751275 |
| 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 | New York Academy of Sciences Series |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=7104043">https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=7104043</a> |
| Public note | Click to View |
No items available.