Discrete structures, logic, and computability /
Hein, James L.
Discrete structures, logic, and computability / James L. Hein - Third edition. - Burlington, MA : Jone and Bartlett Learning, c2013 - xiv, 1009 pages ; 22 cm.
Includes bibliographical references and index.
Elementary notions and notations -- Facts about functions -- Construction techniques -- Binary relations and inductive proof -- Analysis tools and techniques -- Elementary logic -- Predicate logic -- Applied logic -- Algebraic structures and techniques -- Graph theory -- Languages and automata -- Computational notions.
9789380108391
COMPUTER SCIENCE -- MATHEMATICS
QA 76.9.M35 .H45 [2013]
Discrete structures, logic, and computability / James L. Hein - Third edition. - Burlington, MA : Jone and Bartlett Learning, c2013 - xiv, 1009 pages ; 22 cm.
Includes bibliographical references and index.
Elementary notions and notations -- Facts about functions -- Construction techniques -- Binary relations and inductive proof -- Analysis tools and techniques -- Elementary logic -- Predicate logic -- Applied logic -- Algebraic structures and techniques -- Graph theory -- Languages and automata -- Computational notions.
9789380108391
COMPUTER SCIENCE -- MATHEMATICS
QA 76.9.M35 .H45 [2013]