Discrete structures, logic, and computability / James L. Hein.
Material type:
TextPublisher: Sudbury, Mass. : Jones and Bartlett Publishers, c2010Edition: 3rd edDescription: xiv, 1009 p. : ill. ; 25 cmISBN: 9780763772062 (hardcover); 0763772062 (hardcover)Subject(s): Computer science -- Mathematics | Logic programming | Data structures (Computer science) | Logic, Symbolic and mathematical | Computable functionsDDC classification: 005.115,HEI LOC classification: QA76.9.M35 | H44 2010
Contents:
Elementary Notice and Notation (Page-1), Fact about Functions (Page-75), Construction Techniques (Page-133), Equivalence, Order, and Indicative Proof (Page-199), Analysis Techniques (Page-281), Elementary Logic (Page-395), Predicate Logic (Page-457), Applied Logic (Page-517), Computational Logic (Page-565), Algebraic Structures and Techniques (Page-619),Regular Languages and Finite automate (Page-695), Context-Free Languages and Push down Automate (Page-759),Turing Machines and Equivalent Models (Page-811), Computational Notions (Page-845).
| Item type | Current location | Home library | Shelving location | Call number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | General Stacks | 005.115,HEI (Browse shelf) | Available | Almirah No.4, Shelf No.1 | MCS37751 |
Total holds: 0
Elementary Notice and Notation (Page-1), Fact about Functions (Page-75), Construction Techniques (Page-133), Equivalence, Order, and Indicative Proof (Page-199), Analysis Techniques (Page-281), Elementary Logic (Page-395), Predicate Logic (Page-457), Applied Logic (Page-517), Computational Logic (Page-565), Algebraic Structures and Techniques (Page-619),Regular Languages and Finite automate (Page-695), Context-Free Languages and Push down Automate (Page-759),Turing Machines and Equivalent Models (Page-811), Computational Notions (Page-845).
Click on an image to view it in the image viewer
There are no comments on this title.