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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Garnier, Rowan
Otros Autores: Taylor, John
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Hoboken : CRC Press, 2009.
Edición:3rd ed.
Temas:
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
Acceso en línea:Texto completo
Descripción
Sumario: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.
Descripción Física:1 online resource (847 pages)
ISBN:9781439812815
1439812810

Ejemplares similares