Discrete Structures, Logic, and Computability / Third Edition
Material type:
TextPublication details: Jones And Bartlett Learning, 2010Edition: 3rdDescription: 1020ISBN: - 9780763772062
| Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
Books
|
MC Athens Campus Library | 004.0151 HEI (Browse shelf(Opens below)) | 1 | Available | 9780000063731 |
This book provides elementary introductions to those ideas and techniques that are necessary to understand and practice the art and science of computing. Elementary Notions and Notations, Construction Functions, Equivalence and Order and Inductive Proof, Analysis Techniques, Elementary Logic, Predicate Logic, Applied Logic, computational Logic, Algebraic Structures and Techniques, Context-Free Languages and Pushdown Automata, Turing Machines and Equivalent Models, Computational Notions, Index.
There are no comments on this title.