MARC details
| 000 -LEADER |
|---|
| fixed length control field |
03993cam a2200433Ki 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn949930743 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240726105022.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
160519s2016 maua ob 001 0beng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
NT |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
NT |
| Modifying agency |
OCLCO |
| -- |
YDXCP |
| -- |
JSTOR |
| -- |
OCLCO |
| -- |
IDEBK |
| -- |
EBLCP |
| -- |
TEFOD |
| -- |
YDX |
| -- |
UIU |
| -- |
DEBSZ |
| -- |
MYG |
| -- |
OCLCO |
| -- |
IDB |
| -- |
UBY |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
IAS |
| -- |
CNCGM |
| -- |
MERUC |
| -- |
OCLCQ |
| -- |
IOG |
| -- |
OCLCO |
| -- |
RRP |
| -- |
UAB |
| -- |
U3W |
| -- |
OCL |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
NYP |
| -- |
WRM |
| -- |
OCLCQ |
| -- |
CEF |
| -- |
MERER |
| -- |
OCLCA |
| 066 ## - CHARACTER SETS PRESENT |
|---|
| Alternate G0 or G1 character set |
Zsym |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780262333801 |
| Qualifying information |
|
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780262333818 |
| Qualifying information |
|
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780262333795 |
| Qualifying information |
|
| 043 ## - GEOGRAPHIC AREA CODE |
|---|
| Geographic area code |
e-uk--- |
| 050 04 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA29 |
| Item number |
.T875 2016 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bernhardt, Chris, |
| Relator term |
Author |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Turing's vision : |
| Remainder of title |
the birth of computer science / |
| Statement of responsibility, etc. |
Chris Bernhardt. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Cambridge, Massachusetts ; |
| -- |
London, England : |
| Name of publisher, distributor, etc. |
The MIT Press, |
| Date of publication, distribution, etc. |
(c)2016. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xvii, 189 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
data file |
| Source |
rda |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographies and index. |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Background -- |
| Title |
Some undecidable decision problems -- |
| -- |
Finite automata -- |
| -- |
Turing machines -- |
| -- |
Other systems for computation -- |
| -- |
Encodings and the universal machine -- |
| -- |
Undecidable problems -- |
| -- |
Cantor's diagonalization arguments -- |
| -- |
Turing's legacy. |
| 520 0# - SUMMARY, ETC. |
|---|
| Summary, etc. |
"In 1936, when he was just twenty-four years old, Alan Turing wrote a remarkable paper in which he outlined the theory of computation, laying out the ideas that underlie all modern computers. This groundbreaking and powerful theory now forms the basis of computer science. In Turing's Vision, Chris Bernhardt explains the theory, Turing's most important contribution, for the general reader. Bernhardt argues that the strength of Turing's theory is its simplicity, and that, explained in a straightforward manner, it is eminently understandable by the nonspecialist. As Marvin Minsky writes, 'The sheer simplicity of the theory's foundation and extraordinary short path from this foundation to its logical and surprising conclusions give the theory a mathematical beauty that alone guarantees it a permanent place in computer theory.' Bernhardt begins with the foundation and systematically builds to the surprising conclusions. He also views Turing's theory in the context of mathematical history, other views of computation (including those of Alonzo Church), Turing's later work, and the birth of the modern computer. In the paper, 'On Computable Numbers, with an Application to the Entscheidungsproblem, ' Turing thinks carefully about how humans perform computation, breaking it down into a sequence of steps, and then constructs theoretical machines capable of performing each step. Turing wanted to show that there were problems that were beyond any computer's ability to solve; in particular, he wanted to find a decision problem that he could prove was undecidable. To explain Turing's ideas, Bernhardt examines three well-known decision problems to explore the concept of undecidability; investigates theoretical computing machines, including Turing machines; explains universal machines; and proves that certain problems are undecidable, including Turing's problem concerning computable numbers."--Jacket. |
| 530 ## - COPYRIGHT INFORMATION: |
|---|
| COPYRIGHT INFORMATION |
COPYRIGHT NOT covered - Click this link to request copyright permission: |
| Uniform Resource Identifier |
<a href="b">b</a> |
| 600 10 - SUBJECT ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Turing, Alan, |
| Dates associated with a name |
1912-1954. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer engineering |
| Geographic subdivision |
Great Britain |
| General subdivision |
History. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Mathematicians |
| Geographic subdivision |
Great Britain |
| Form subdivision |
Biography. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer algorithms |
| General subdivision |
History. |
| 655 #1 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic Books. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1239109&site=eds-live&custid=s3260518">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1239109&site=eds-live&custid=s3260518</a> |
| -- |
Click to access digital title | log in using your CIU ID number and my.ciu.edu password |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Online Book (LOGIN USING YOUR MY CIU LOGIN AND PASSWORD) |
| DONATED BY: |
|
| VENDOR |
EBSCO |
| Classification part |
QA. |
| PUBLICATION YEAR |
2016 |
| LOCATION |
ONLINE |
| REQUESTED BY: |
|
| -- |
|
| -- |
NFIC |
| Source of classification or shelving scheme |
|
| 994 ## - |
|---|
| -- |
92 |
| -- |
NT |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) |
|---|
| a |
1 |
| b |
Cynthia Snell |
| c |
1 |
| d |
Cynthia Snell |