Discrete structures, logic, and computability / by James L Hein
Material type: TextPublication details: New Delhi : Jones and Bartlett Publishers, 2011Edition: 3rd edDescription: 1009p. ill. ; 24 cmISBN: 9789380108391 (pbk)Subject(s): Computer Science -- Mathematics | Logic Programming | Data Structures (Computer Science) | Logic, symbolic and mathematical | Computable FunctionsDDC classification: 004.0151Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Namal Library Computer Science | 004.0151 HEI-D 2013 4035 (Browse shelf (Opens below)) | Available | 0004035 |
Index
Chapter 1: Elementary Notion and Notations-----------------
Chapter 2: Facts about Functions----------------
Chapter 3: Construction techniques----------------
Chapter 4: Equivalence, Order and Inductive Proof---------------
Chapter 5: Analysis Techniques---------------
Chapter 6: Elementary Logic-------------------
Chapter 7: Predicate Logic-----------------
Chapter 8: Applied Logic-------------------
Chapter 9: Computational Logic--------------------
Chapter 10: Algebraic Structures and techniques--------------
Chapter 11: Regular Languages and Finite automata------------
Chapter 12: Context free Languages and Pushdown Automata--------
Chapter 13: Turing Machines and Equivalent Models----------------
Chapter 14: Computational Notions-----------------
LDE121
There are no comments on this title.