Discrete Structures Logic, and Computability
Hein, James.J
Discrete Structures Logic, and Computability - 4th,ed. - New Delhi: Jones and Barlett, 2017. - 1039p.
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.
9780763772062
Computer science -- Mathematics.
Logic programming.
Data structures (Computer science).
004.0151 / HEI/D
Discrete Structures Logic, and Computability - 4th,ed. - New Delhi: Jones and Barlett, 2017. - 1039p.
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.
9780763772062
Computer science -- Mathematics.
Logic programming.
Data structures (Computer science).
004.0151 / HEI/D