Cargando…
Discrete Mathematics : Proofs, Structures and Applications, Third Edition.
Logic Propositions and Truth Values Logical Connectives and Truth Tables Tautologies and Contradictions Logical Equivalence and Logical Implication The Algebra of Propositions Arguments Formal Proof of the Validity of Arguments Predicate Logic Arguments in Predicate Logic Mathematical Proof The Natu...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Hoboken :
CRC Press,
2009.
|
| Edición: | 3rd ed. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn908079028 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 150509s2009 xx o 000 0 eng d | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d DEBSZ |d OCLCQ |d N$T |d OCLCF |d MERUC |d NLE |d OCLCQ |d K6U |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 020 | |a 9781439812815 |q (electronic bk.) | ||
| 020 | |a 1439812810 |q (electronic bk.) | ||
| 029 | 1 | |a AU@ |b 000056086387 | |
| 029 | 1 | |a AU@ |b 000062529569 | |
| 029 | 1 | |a AU@ |b 000073101159 | |
| 029 | 1 | |a DEBSZ |b 433538090 | |
| 035 | |a (OCoLC)908079028 | ||
| 050 | 4 | |a QA76.9.M35 G38 2010 | |
| 072 | 7 | |a COM |x 013000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 072 | 7 | |a COM |x 032000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 052000 |2 bisacsh | |
| 082 | 0 | 4 | |a 004.0151 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Garnier, Rowan. | |
| 245 | 1 | 0 | |a Discrete Mathematics : |b Proofs, Structures and Applications, Third Edition. |
| 250 | |a 3rd ed. | ||
| 260 | |a Hoboken : |b CRC Press, |c 2009. | ||
| 300 | |a 1 online resource (847 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Cover; Title; Copyright; Contents; Preface to the Third Edition; Preface to the Second Edition; Preface to the First Edition; List of Symbols; Chapter 1: Logic; Chapter 2: Mathematical Proof; Chapter 3: Sets; Chapter 4: Relations; Chapter 5: Functions; Chapter 6: Matrix Algebra; Chapter 7: Systems of Linear Equations; Chapter 8: Algebraic Structures; Chapter 9: Introduction to Number Theory; Chapter 10: Boolean Algebra; Chapter 11: Graph Theory; Chapter 12: Applications of Graph Theory; References and Further Reading; Hints and Solutions to Selected Exercises; Index. | |
| 520 | |a Logic Propositions and Truth Values Logical Connectives and Truth Tables Tautologies and Contradictions Logical Equivalence and Logical Implication The Algebra of Propositions Arguments Formal Proof of the Validity of Arguments Predicate Logic Arguments in Predicate Logic Mathematical Proof The Nature of Proof Axioms and Axiom Systems Methods of Proof Mathematical Induction Sets Sets and MembershipSubsetsOperations on SetsCounting TechniquesThe Algebra of Sets Families of Sets The Cartesian Product Types and Typed Set TheoryRelations Relations and Their Representations Properties of Relations. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Computer science |x Mathematics. | |
| 650 | 6 | |a Informatique |x Mathématiques. | |
| 650 | 7 | |a COMPUTERS |x Computer Literacy. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Information Technology. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Reference. |2 bisacsh | |
| 650 | 7 | |a Computer science |x Mathematics |2 fast | |
| 700 | 1 | |a Taylor, John. | |
| 758 | |i has work: |a Discrete mathematics (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFBDmPQjmHhDGTtfJbHwG3 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Garnier, Rowan. |t Discrete Mathematics : Proofs, Structures and Applications, Third Edition. |d Hoboken : CRC Press, ©2009 |z 9781439812808 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1633274 |z Texto completo |
| 936 | |a BATCHLOAD | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL1633274 | ||
| 938 | |a EBSCOhost |b EBSC |n 1499422 | ||
| 994 | |a 92 |b IZTAP | ||