Discrete structures logic and computability /

Hein, James L.

Discrete structures logic and computability / By James L Hein - 3rd ed. - New Delhi Jones and Bartlett Publishers. 2010 - xiv,1009p. ; PB : 23 cm

9789380108391


Elementary Notions and Notations
Facts about Functions
Construction Techniques
Equivalence, Order and Inductive proof
Analysis Techniques
Elementary Logic
Predicate Logic
Applied Logic
Computational Logic
Algebraic Structures and Techniques
Regular Languages and Finite Automata
Context-Free Languages and Pushdown Automata
Turning Machines and Equivalent Models
Computational Notions

511.3 / HEIJ