Discrete structures, logic, and computability
Material type: TextPublication details: New Delhi : Narosa Publishing House, 2002Edition: 2nd EditionDescription: xvi, 943 p. : illustrationsISBN: 0763718432 ; 9780763718435; 9788173195624 ; 8173195625Subject(s): Computer science -- MathematicsDDC classification: 005.131Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Reference Books | Main Library Reference | Reference | 005.131 HEI (Browse shelf(Opens below)) | Available | 012393 |
Browsing Main Library shelves, Shelving location: Reference, Collection: Reference Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
005.131 AMB Logic programming and knowledge engineering | 005.131 BAL Numerical methods : with programs in BASIC, FORTRAN and Pascal | 005.131 DOE Applied discrete structures for computer science | 005.131 HEI Discrete structures, logic, and computability | 005.131 HEI Discrete structures, logic, and computability / | 005.131 MAR Introduction to languages and the theory of computation / | 005.131 PAT Computer-Related Mathematics |
Included Index.
1. Elementary Notions and Notations --
2. Facts about Functions --
3. Construction Techniques --
4. Equivalence, Order, and Inductive Proof --
5. Analysis Techniques --
6. Elementary Logic --
7. Predicate Logic --
8. Applied Logic --
9. Computational Logic --
10. Algebraic Structures and Techniques --
11. Regular Languages and Finite Automata --
12. Context-Free Languages and Pushdown Automata --
13. Turing Machines and Equivalent Models --
14. Computational Notions.
This book introduces the beginning computer science student to some of the fundamental ideas and techniques used by computer scientists today, focusing on discrete structures, logic, and computability.
There are no comments on this title.