Discrete structures, logic, and computability /
Hein, James L.
Discrete structures, logic, and computability / - Fourth edition. - Burlington, MA : Jones & Bartlett Learning, [2017] ©2017 - xiv, 1039 pages ;
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.
9781284070408
Computer science
Logic programming.
Data structures (Computer science)
Logic, Symbolic and mathematical.
Computable functions.
005.131 / HEI
Discrete structures, logic, and computability / - Fourth edition. - Burlington, MA : Jones & Bartlett Learning, [2017] ©2017 - xiv, 1039 pages ;
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.
9781284070408
Computer science
Logic programming.
Data structures (Computer science)
Logic, Symbolic and mathematical.
Computable functions.
005.131 / HEI