Discrete mathematics : proofs, structures, and applications /: proofs, structures, and applications. (2009)
- Record Type:
- Book
- Title:
- Discrete mathematics : proofs, structures, and applications /: proofs, structures, and applications. (2009)
- Main Title:
- Discrete mathematics : proofs, structures, and applications
- Further Information:
- Note: Rowan Garnier, John Taylor.
- Other Names:
- Garnier, Rowan
Taylor, John, 1957-
Garnier, Rowan - Contents:
- 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 Membership Subsets Operations on Sets Counting Techniques The Algebra of Sets Families of Sets The Cartesian Product Types and Typed Set Theory Relations Relations and Their Representations Properties of Relations Intersections and Unions of Relations Equivalence Relations and Partitions Order Relations Hasse Diagrams Application: Relational Databases Functions Definitions and Examples Composite Functions Injections and Surjections Bijections and Inverse Functions More on Cardinality Databases: Functional Dependence and Normal Forms Matrix Algebra Introduction Some Special Matrices Operations on Matrices Elementary Matrices The Inverse of a Matrix Systems of Linear Equations Introduction Matrix Inverse Method Gauss–Jordan Elimination Gaussian Elimination Algebraic Structures Binary Operations and Their Properties Algebraic Structures More about Groups Some Families of Groups Substructures Morphisms Group Codes Introduction to Number Theory Divisibility Prime Numbers Linear Congruences Groups in Modular Arithmetic Public Key Cryptography Boolean Algebra Introduction Properties of BooleanLogic 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 Membership Subsets Operations on Sets Counting Techniques The Algebra of Sets Families of Sets The Cartesian Product Types and Typed Set Theory Relations Relations and Their Representations Properties of Relations Intersections and Unions of Relations Equivalence Relations and Partitions Order Relations Hasse Diagrams Application: Relational Databases Functions Definitions and Examples Composite Functions Injections and Surjections Bijections and Inverse Functions More on Cardinality Databases: Functional Dependence and Normal Forms Matrix Algebra Introduction Some Special Matrices Operations on Matrices Elementary Matrices The Inverse of a Matrix Systems of Linear Equations Introduction Matrix Inverse Method Gauss–Jordan Elimination Gaussian Elimination Algebraic Structures Binary Operations and Their Properties Algebraic Structures More about Groups Some Families of Groups Substructures Morphisms Group Codes Introduction to Number Theory Divisibility Prime Numbers Linear Congruences Groups in Modular Arithmetic Public Key Cryptography Boolean Algebra Introduction Properties of Boolean Algebras Boolean Functions Switching Circuits Logic Networks Minimization of Boolean Expressions Graph Theory Definitions and Examples Paths and Cycles Isomorphism of Graphs Trees Planar Graphs Directed Graphs Applications of Graph Theory Introduction Rooted Trees Sorting Searching Strategies Weighted Graphs The Shortest Path and Traveling Salesman Problems Networks and Flows References and Further Reading Hints and Solutions to Selected Exercises Index … (more)
- Edition:
- 3rd ed
- Publisher Details:
- Place of publication not identified : CRC Press
- Publication Date:
- 2009
- Extent:
- 1 online resource, illustrations
- Subjects:
- 004.0151
Computer science -- Mathematics - Languages:
- English
- ISBNs:
- 9781439812815
1439812810 - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.150661
- Ingest File:
- 02_070.xml