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 |