The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine / Charles Petzold
Publication details: Indianapolis, IN : Wiley Pub., c2008.Description: xii, 372 p. : ill. ; 23 cmISBN:- 9780470229057 (Paper)
- 0470229055 (Paper)
- 511.352
- QA267
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| Carti | IMAR | 511.352-PET (Browse shelf(Opens below)) | 1 | Available | 0033364 |
Browsing IMAR shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
No cover image available | ||
| 511.34-CHA-1 Model theory | 511.34-HOD Building models by games | 511.352-FOR The golden ticket : P, NP, and the search for the impossible | 511.352-PET The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine / | 511.35-CON Regular algebra and finite machines | 511.35-IVA Algebraic recursion theory | 511.35-IVA Algebraic Recursion Theory |
eng
Foreword.Preface.Acknowledgements.Author Biographies.Introduction.1. This Tomb Holds Diophantus.2. The Irrational and the Transcendental.3. Centuries of Progress.4. The Education of Alan Turing.5. Machines at Work.6. Addition and Multiplication.7. Also Known as Subroutines.8. Everything is a Number.9. The Universal Machine.10. Computers and Computability.11. Of Machines and Men.12. First-Order Logic.13. Computability Continued.14. The Major Proof.15. The Lambda Calculus.16. Conceiving the Continuum.17. Is Everything a Turing Machine?18. Diaphantus Awakes.Appendix A.Appendix B.Index.
There are no comments on this title.