passa ai contenuti
The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine

Autore: Charles Petzold
Editore: Indianapolis, IN : Wiley Pub., ©2008.
Edizione/Formato:   book_printbook : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Sommario:
Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be computable, creating the field of computability theory in the process, a foundation of present-day computer programming. The book expands Turing's original 36-page paper with additional background chapters and extensive annotations; the author elaborates on  Per saperne di più…
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Genere/forma: Biographie
Persona incaricata: Alan Mathison Turing; Alan Mathison Turing; Alan Mathison Turing; Alan Mathison Turing; Alan Mathison Turing; Turing, Alan Mathison <1912-1954>
Tipo materiale: Risorsa internet
Tipo documento: Book, Internet Resource
Tutti gli autori / Collaboratori: Charles Petzold
ISBN: 9780470229057 0470229055
Numero OCLC: 229342525
Descrizione: xii, 372 p. : ill. ; 23 cm.
Contenuti: This tomb holds Diophantus --
The irrational and the transcendental --
Centuries of progress --
The education of Alan Turing --
Machines at work --
Addition and multiplication --
Also known as subroutines --
Everything is a number --
The universal machine --
Computers and computability --
Of machines and men --
Logic and computability --
Computable functions --
The major proof --
The lambda calculus --
Conceiving the continuum --
Is everything a turing machine? --
The long sleep of Diophantus.
Responsabilità: Charles Petzold.
Maggiori informazioni:

Abstract:

Before digital computers ever existed, Alan Turing envisioned their power and versatility. but also proved what computers could never do.  Per saperne di più…

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.

Documenti simili

Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


Primary Entity

<http://www.worldcat.org/oclc/229342525> # The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "229342525" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/795266427#Place/indianapolis_in> ; # Indianapolis, IN
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/inu> ;
    schema:about <http://dewey.info/class/511.352/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/795266427#Topic/turing_machines_de> ; # Turing, Machines de
    schema:about <http://experiment.worldcat.org/entity/work/data/795266427#Topic/automatentheorie> ; # Automatentheorie
    schema:about <http://id.worldcat.org/fast/1159283> ; # Turing machines
    schema:about <http://experiment.worldcat.org/entity/work/data/795266427#Topic/complexite_de_calcul_informatique> ; # Complexité de calcul (Informatique)
    schema:about <http://id.worldcat.org/fast/871991> ; # Computational complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/795266427#Topic/turing_maschine> ; # Turing-Maschine
    schema:about <http://experiment.worldcat.org/entity/work/data/795266427#Person/turing_alan_mathison> ; # Alan Mathison Turing
    schema:about <http://experiment.worldcat.org/entity/work/data/795266427#Person/turing_alan_mathison_1912_1954> ; # Alan Mathison < Turing
    schema:about <http://experiment.worldcat.org/entity/work/data/795266427#Topic/theoretische_informatik> ; # Theoretische Informatik
    schema:about <http://experiment.worldcat.org/entity/work/data/795266427#Topic/codierung> ; # Codierung
    schema:about <http://experiment.worldcat.org/entity/work/data/795266427#Topic/berechnungstheorie> ; # Berechnungstheorie
    schema:about <http://viaf.org/viaf/41887917> ; # Alan Mathison Turing
    schema:about <http://experiment.worldcat.org/entity/work/data/795266427#Topic/berechnungskomplexitat> ; # Berechnungskomplexität
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "2008" ;
    schema:creator <http://viaf.org/viaf/9999889> ; # Charles Petzold
    schema:datePublished "2008" ;
    schema:description "Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be computable, creating the field of computability theory in the process, a foundation of present-day computer programming. The book expands Turing's original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing's statements, making the original difficult-to-read document accessible to present day programmers, computer science majors, math geeks, and others. Interwoven into the narrative are the highlights of Turing's own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41. - Publisher."@en ;
    schema:description "This tomb holds Diophantus -- The irrational and the transcendental -- Centuries of progress -- The education of Alan Turing -- Machines at work -- Addition and multiplication -- Also known as subroutines -- Everything is a number -- The universal machine -- Computers and computability -- Of machines and men -- Logic and computability -- Computable functions -- The major proof -- The lambda calculus -- Conceiving the continuum -- Is everything a turing machine? -- The long sleep of Diophantus."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/795266427> ;
    schema:genre "Biographie"@en ;
    schema:inLanguage "en" ;
    schema:name "The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine"@en ;
    schema:numberOfPages "372" ;
    schema:productID "229342525" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/229342525#PublicationEvent/indianapolis_in_wiley_pub_c2008> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/795266427#Agent/wiley_pub> ; # Wiley Pub.
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=016518182&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://catdir.loc.gov/catdir/toc/ecip0819/2008022829.html> ;
    schema:url <http://swbplus.bsz-bw.de/bsz283257520cov.htm> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc%5Flibrary=BVB01&doc%5Fnumber=016518182&line%5Fnumber=0001&func%5Fcode=DB%5FRECORDS&service%5Ftype=MEDIA> ;
    schema:workExample <http://worldcat.org/isbn/9780470229057> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA822431> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/229342525> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/795266427#Person/turing_alan_mathison> # Alan Mathison Turing
    a schema:Person ;
    schema:familyName "Turing" ;
    schema:givenName "Alan Mathison" ;
    schema:name "Alan Mathison Turing" ;
    .

<http://experiment.worldcat.org/entity/work/data/795266427#Person/turing_alan_mathison_1912_1954> # Alan Mathison < Turing
    a schema:Person ;
    schema:birthDate "1912" ;
    schema:deathDate "1954" ;
    schema:familyName "Turing" ;
    schema:givenName "Alan Mathison <>" ;
    schema:name "Alan Mathison < Turing" ;
    .

<http://experiment.worldcat.org/entity/work/data/795266427#Place/indianapolis_in> # Indianapolis, IN
    a schema:Place ;
    schema:name "Indianapolis, IN" ;
    .

<http://experiment.worldcat.org/entity/work/data/795266427#Topic/berechnungskomplexitat> # Berechnungskomplexität
    a schema:Intangible ;
    schema:name "Berechnungskomplexität"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/795266427#Topic/berechnungstheorie> # Berechnungstheorie
    a schema:Intangible ;
    schema:name "Berechnungstheorie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/795266427#Topic/complexite_de_calcul_informatique> # Complexité de calcul (Informatique)
    a schema:Intangible ;
    schema:name "Complexité de calcul (Informatique)"@en ;
    schema:name "Complexité de calcul (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/795266427#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
    schema:name "Theoretische Informatik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/795266427#Topic/turing_machines_de> # Turing, Machines de
    a schema:Intangible ;
    schema:name "Turing, Machines de"@en ;
    schema:name "Turing, Machines de"@fr ;
    .

<http://id.worldcat.org/fast/1159283> # Turing machines
    a schema:Intangible ;
    schema:name "Turing machines"@en ;
    .

<http://id.worldcat.org/fast/871991> # Computational complexity
    a schema:Intangible ;
    schema:name "Computational complexity"@en ;
    .

<http://viaf.org/viaf/41887917> # Alan Mathison Turing
    a schema:Person ;
    schema:birthDate "1912" ;
    schema:deathDate "1954" ;
    schema:familyName "Turing" ;
    schema:givenName "Alan Mathison" ;
    schema:name "Alan Mathison Turing" ;
    schema:sameAs <http://d-nb.info/gnd/118802976> ;
    .

<http://viaf.org/viaf/9999889> # Charles Petzold
    a schema:Person ;
    schema:birthDate "1953" ;
    schema:familyName "Petzold" ;
    schema:givenName "Charles" ;
    schema:name "Charles Petzold" ;
    .

<http://worldcat.org/isbn/9780470229057>
    a schema:ProductModel ;
    schema:bookFormat schema:Paperback ;
    schema:isbn "0470229055" ;
    schema:isbn "9780470229057" ;
    .

<http://www.worldcat.org/title/-/oclc/229342525>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/229342525> ; # The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine
    schema:dateModified "2015-04-22" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.