Cover Image

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

Full description

Bibliographic Details
Main Author: Garnier, Rowan
Corporate Author: Taylor & Francis
Other Authors: Taylor, John
Format: eBook
Language:English
Published: Hoboken : CRC Press, 2009.
Edition:3rd ed.
Subjects:
Computer science > Mathematics.
Informatique > Mathématiques.
COMPUTERS > Computer Literacy.
COMPUTERS > Computer Science.
COMPUTERS > Data Processing.
COMPUTERS > Hardware > General.
COMPUTERS > Information Technology.
COMPUTERS > Machine Theory.
COMPUTERS > Reference.
Computer science > Mathematics
Electronic books.
Electronic book.
Online Access:Connect to the full text of this electronic book
Description
Summary: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.
Physical Description:1 online resource (847 pages)
ISBN:9781439812815
1439812810