Discrete structures, logic, and computability (Record no. 11203)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01254nam a2200217 a 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 0763718432 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780763718435 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9788173195624 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 8173195625 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.131 |
| Item number | HEI |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Personal name | Hein, James L. : |
| 245 ## - TITLE STATEMENT | |
| Title | Discrete structures, logic, and computability |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 2nd Edition. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | New Delhi : |
| Name of publisher | Narosa Publishing House, |
| Year of publication | 2002. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | xvi, 943 p. : |
| Other physical details | illustrations ; |
| 500 ## - GENERAL NOTE | |
| General note | Included Index. |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 1. Elementary Notions and Notations --<br/>2. Facts about Functions --<br/>3. Construction Techniques --<br/>4. Equivalence, Order, and Inductive Proof --<br/>5. Analysis Techniques --<br/>6. Elementary Logic --<br/>7. Predicate Logic --<br/>8. Applied Logic --<br/>9. Computational Logic --<br/>10. Algebraic Structures and Techniques --<br/>11. Regular Languages and Finite Automata --<br/>12. Context-Free Languages and Pushdown Automata --<br/>13. Turing Machines and Equivalent Models --<br/>14. Computational Notions. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer science -- Mathematics. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Reference Books |
| Collection code | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Full call number | Accession Number | Koha item type |
|---|---|---|---|---|---|---|---|---|---|
| Reference | Main Library | Main Library | Reference | 01/12/2011 | Purchased | 1337.00 | 005.131 HEI | 012393 | Reference Books |