Turing's Legacy
Turing's Legacy
Developments from Turing's Ideas in Logic
Cambridge University Press
05/2014
539
Dura
Inglês
9781107043480
970
Descrição não disponível.
Turing's legacy: developments from Turing's ideas in logic Rod Downey; 1. Computability and analysis: the legacy of Alan Turing Jeremy Avigad and Vasco Brattka; 2. Alan Turing and the other theory of computation (expanded) Lenore Blum; 3. Turing in Quantumland Harry Buhrman; 4. Computability theory, algorithmic randomness and Turing's anticipation Rod Downey; 5. Computable model theory Ekaterina B. Fokina, Valentina Harizanov and Alexander Melnikov; 6. Towards common-sense reasoning via conditional simulation: legacies of Turing in artificial intelligence Cameron E. Freer, Daniel M. Roy and Joshua B. Tenenbaum; 7. Mathematics in the age of the Turing machine Thomas C. Hales; 8. Turing and the development of computational complexity Steven Homer and Alan L. Selman; 9. Turing machines to word problems Charles F. Miller, III; 10. Musings on Turing's thesis Anil Nerode; 11. Higher generalizations of the Turing model Dag Normann; 12. Step by recursive step: Church's analysis of effective calculability Wilfried Sieg; 13. Turing and the discovery of computability Robert Irving Soare; 14. Transfinite machine models P. D. Welch.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Turing's legacy: developments from Turing's ideas in logic Rod Downey; 1. Computability and analysis: the legacy of Alan Turing Jeremy Avigad and Vasco Brattka; 2. Alan Turing and the other theory of computation (expanded) Lenore Blum; 3. Turing in Quantumland Harry Buhrman; 4. Computability theory, algorithmic randomness and Turing's anticipation Rod Downey; 5. Computable model theory Ekaterina B. Fokina, Valentina Harizanov and Alexander Melnikov; 6. Towards common-sense reasoning via conditional simulation: legacies of Turing in artificial intelligence Cameron E. Freer, Daniel M. Roy and Joshua B. Tenenbaum; 7. Mathematics in the age of the Turing machine Thomas C. Hales; 8. Turing and the development of computational complexity Steven Homer and Alan L. Selman; 9. Turing machines to word problems Charles F. Miller, III; 10. Musings on Turing's thesis Anil Nerode; 11. Higher generalizations of the Turing model Dag Normann; 12. Step by recursive step: Church's analysis of effective calculability Wilfried Sieg; 13. Turing and the discovery of computability Robert Irving Soare; 14. Transfinite machine models P. D. Welch.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
