Record ID | marc_columbia/Columbia-extract-20221130-031.mrc:170529406:3359 |
Source | marc_columbia |
Download Link | /show-records/marc_columbia/Columbia-extract-20221130-031.mrc:170529406:3359?format=raw |
LEADER: 03359cam a2200601Mi 4500
001 15105590
005 20220326231727.0
006 m o d
007 cr |n|||||||||
008 150509s2009 xx o 000 0 eng d
035 $a(OCoLC)ocn908079028
035 $a(NNC)15105590
040 $aEBLCP$beng$epn$cEBLCP$dDEBSZ$dOCLCQ$dN$T$dOCLCF$dMERUC$dNLE$dOCLCQ$dK6U$dOCLCO
020 $a9781439812815$q(electronic bk.)
020 $a1439812810$q(electronic bk.)
035 $a(OCoLC)908079028
050 4 $aQA76.9.M35 G38 2010
072 7 $aCOM$x013000$2bisacsh
072 7 $aCOM$x014000$2bisacsh
072 7 $aCOM$x018000$2bisacsh
072 7 $aCOM$x067000$2bisacsh
072 7 $aCOM$x032000$2bisacsh
072 7 $aCOM$x037000$2bisacsh
072 7 $aCOM$x052000$2bisacsh
082 04 $a004.0151
049 $aZCUA
100 1 $aGarnier, Rowan.
245 10 $aDiscrete Mathematics :$bProofs, Structures and Applications, Third Edition.
250 $a3rd ed.
260 $aHoboken :$bCRC Press,$c2009.
300 $a1 online resource (847 pages)
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
588 0 $aPrint version record.
505 0 $aCover; 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 $aLogic 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.
650 0 $aComputer science$xMathematics.
650 6 $aInformatique$xMathématiques.
650 7 $aCOMPUTERS$xComputer Literacy.$2bisacsh
650 7 $aCOMPUTERS$xComputer Science.$2bisacsh
650 7 $aCOMPUTERS$xData Processing.$2bisacsh
650 7 $aCOMPUTERS$xHardware$xGeneral.$2bisacsh
650 7 $aCOMPUTERS$xInformation Technology.$2bisacsh
650 7 $aCOMPUTERS$xMachine Theory.$2bisacsh
650 7 $aCOMPUTERS$xReference.$2bisacsh
650 7 $aComputer science$xMathematics.$2fast$0(OCoLC)fst00872460
655 0 $aElectronic books.
655 4 $aElectronic books.
700 1 $aTaylor, John.
776 08 $iPrint version:$aGarnier, Rowan.$tDiscrete Mathematics : Proofs, Structures and Applications, Third Edition.$dHoboken : CRC Press, ©2009$z9781439812808
856 40 $uhttp://www.columbia.edu/cgi-bin/cul/resolve?clio15105590$zTaylor & Francis eBooks
852 8 $blweb$hEBOOKS