Discrete structures, logic, and computability
By: James L. Hein, Ph.D., Professor Emeritus, Portland State University, Tigard, Oregon
Edition: Fourth edition.
Publisher: World Headquarters/Jones & Bartlett Learning
Published: 2016
Place of publication: Burlington, MA
Language: eng
ISBN-13: 9781284099867
Subjects: Logic programming; Symbolic and mathematical Logic; Computer science; Mathematics; Data structures (Computer science); Computable functions
Notes: Includes bibliographical references and index.
Table of contents: title: Elementary notions and notations; title: Facts about functions; title: Construction techniques; title: Binary relations and inductive proof; title: Analysis tools and techniques; title: Elementary logic; title: Predicate logic; title: Applied logic; title: Algebraic structures and techniques; title: Graph theory; title: Languages and automata; title: Computational notions.