Limits of computation (Record no. 15231)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02714nam a2200337Ia 4500 |
| 001 - CONTROL NUMBER | |
| control field | CAH0KE14034PDF |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | FlBoTFG |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20171224123542.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION | |
| fixed length control field | m|||||o||d|||||||| |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr|||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 121226s2013 fluad sb 001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781439882078 (ebook : PDF) |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | FlBoTFG |
| Transcribing agency | FlBoTFG |
| 090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (OCLC) | |
| Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) | QA267.7 |
| Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) | .R445 2013 |
| 092 ## - LOCALLY ASSIGNED DEWEY CALL NUMBER (OCLC) | |
| Classification number | 003.3 |
| Item number | R379 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Reiter, Edna E. |
| Fuller form of name | (Edna Elizabeth) |
| 245 10 - TITLE STATEMENT | |
| Title | Limits of computation |
| Medium | [electronic resource] : |
| Remainder of title | an introduction to the undecidable and the intractable / |
| Statement of responsibility, etc | Edna E. Reiter, Clayton Matthew Johnson. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Boca Raton : |
| Name of publisher, distributor, etc | CRC Press, |
| Date of publication, distribution, etc | 2013. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xix, 259 p. : |
| Other physical details | ill. |
| 500 ## - GENERAL NOTE | |
| General note | "A Chapman & Hall book." |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references (p. 253-254) and index. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | ch. 1. Set theory -- ch. 2. Languages : alphabets, strings, and languages -- ch. 3. Algorithms -- ch. 4. Turing machines -- ch. 5. Turing-completeness -- ch. 6. Undecidability -- ch. 7. Undecidability and reducibility -- ch. 8. Classes NP and NP-complete -- ch. 9. More NP-complete problems -- ch. 10. Other interesting questions and classes. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | "Preface To the student: We think that the theory dealing with what is hard about computation (and what is impossible!) is challenging but fun. This book grows out of these ideas, and our approach to teaching a course in computational complexity. There is no doubt that some of the material in these chapters is what might be called "wrap your brain around it" material, where a first reaction might be that the authors are pulling off a trick like a magician pulling a rabbit out of a hat. For instance, consider the proof--using proof by contradiction--that there can be no algorithm to tell whether a program written in C++ will go into an infinite loop. One reaction upon reaching the contradiction at the end of the proof might be that there must be a misstep somewhere in the proof; another might be that there cannot really be a contradiction. Only after reading, rereading, and carefully considering each step can the student buy in to the proof. There are no shortcuts here; this is not reading to be done with the television playing in the background. There are also diversions here, such as the bridges of K. |
| 530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE | |
| Additional physical form available note | Also available in print edition. |
| 538 ## - SYSTEM DETAILS NOTE | |
| System details note | Mode of access: World Wide Web. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computational complexity. |
| 655 #7 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Electronic books. |
| Source of term | lcsh |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Johnson, Clayton Matthew. |
| 776 1# - ADDITIONAL PHYSICAL FORM ENTRY | |
| International Standard Book Number | 9781439882061 (hardback) |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="http://marc.crcnetbase.com/isbn/9781439882078">http://marc.crcnetbase.com/isbn/9781439882078</a> |
| Electronic format type | application/PDF |
| Public note | Distributed by publisher. Purchase or institutional license may be required for access. |
No items available.