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