Discrete Mathematics [electronic resource] : 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...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via Taylor & Francis)
Main Author: Garnier, Rowan
Other Authors: Taylor, John
Format: Electronic eBook
Language:English
Published: Hoboken : CRC Press, 2009.
Edition:3rd ed.
Subjects:
Table of Contents:
  • 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.