Discrete Mathematics : Proofs, Structures and Applications, Third Edition

✍ Scribed by Garnier, Rowan; Taylor, John

• Publisher: CRC Press
• Year: 2009
• Tongue: English
• Leaves: 847
• Edition: 3rd ed
• Category: Library

✦ Synopsis

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. Read more...

Abstract: 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

✦ Table of Contents

Content: 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

✦ Subjects

Математика;Дискретная математика;