O Turing Anotado -The Annotated Turing

The Annotated Turing: Um tour guiado pelo documento histórico de Alan Turing sobre computabilidade e a máquina de Turing
The Annotated Turing cover.jpg
Autor Charles Petzold
Língua Inglês
Sujeito Matemática e computação
Gênero Não-ficção
Editor John Wiley & Sons
Data de publicação
2008
Tipo de mídia Imprimir ( brochura )
Páginas 372
ISBN 978-0-470-22905-7
OCLC 2008022829
511,3 / 52 22
Classe LC QA267 .P48

The Annotated Turing: Um tour guiado pelo documento histórico de Alan Turing sobre computabilidade e a máquina de Turing é um livro de Charles Petzold , publicado em 2008 por John Wiley & Sons, Inc.

Petzold comenta o artigo de Alan Turing "On Computable Numbers, with an Application to the Entscheidungsproblem ". O livro leva os leitores frase por frase através do artigo de Turing, fornecendo explicações, mais exemplos, correções e informações biográficas.

Índice

  • Parte I. Fundações
    • Capítulo 1: Esta Tumba Segura Diofanto
    • Capítulo 2: O irracional e o transcendental
    • Capítulo 3: Séculos de Progresso
  • Parte II. Números Computáveis
    • Capítulo 4: A Educação de Alan Turing
    • Capítulo 5: Máquinas em funcionamento
    • Capítulo 6: Adição e Multiplicação
    • Capítulo 7: também conhecido como sub-rotinas
    • Capítulo 8: Tudo é um número
    • Capítulo 9: A Máquina Universal
    • Capítulo 10: Computadores e Computabilidade
    • Capítulo 11: De Máquinas e Homens
  • Parte III. Das Entscheidungsproblem
    • Capítulo 12: Lógica e Computabilidade
    • Capítulo 13: Funções Computáveis
    • Capítulo 14: A Prova Principal
    • Capítulo 15: O Cálculo Lambda
    • Capítulo 16: Concebendo o Continuum
  • Parte IV. E além
    • Capítulo 17: Tudo é uma máquina de Turing?
    • Capítulo 18: O Longo Sono de Diofanto

Veja também

Referências

links externos