艾伦·图灵:他的工作与影响:his work and impact
1星价
¥70.6
(7.2折)
2星价¥70.6
定价¥98.0
买过本商品的人还买了
暂无评论
图文详情
- ISBN:9787560357669
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 开本:30cm
- 页数:914
- 出版时间:2016-01-01
- 条形码:9787560357669 ; 978-7-5603-5766-9
内容简介
库珀、莱文所著的《艾伦·图灵--他的工作与影响(上下)(英文版)》主要介绍了艾伦·图灵的科学事业及其所产生的影响,其主要内容包括电脑运算、人工智能、密码学、形态发生学等。本书为此方面的研究者和各科学爱好者提供了一个相对容易的入口点,同时能帮助读者进行有效的科学训练。
目录
List of ContributorsIntroductionPart I How Do We Compute What Can We Prove
1955 Alan Matbison Turing by Max Newman(Bibliographic Memoirs of the Fellows of the Royal Society, 1 (Nov.),253-263)Andrew Hodges contributes——A Comment on Newman's Biographical MemoirBiographical Memoir1936-7 On Computable Numbers, with an Application to the Entscheidungsproblem(Proc. Lond. Math. Soc. (2)42, 230-265)1937 - A Correction (ibid: 43, 544-546)Christos Papadimitriou on ——Alan and ITuring textsStephen Wolfram on ——The Importance of Universal ComputationMartin Davis illuminates ——Three Proofs of the Unsolvability of the EntscheidungsproblemSamson Abramsky detects ——Two Puzzles About ComputationPaul Vitanyi illustrates the importance of Turing Machines and Understanding Computational ComplexityGregory Chaitin traces the path ——From the Halting Problem to the Halting ProbabilityRobert Irving Soare expands on ——Turing and the Art of Classical ComputabilityRainer Glaschick takes us on a trip back toTuring Machines in MunsterFrom K. Vela Velupillai ——Reflections on Wittgenstein's Debates with Turing during his Lectures on the Foundations of MathematicsJan van Leeuwen and Jiri Wiedermann on ——The Computational Power of Turing's Non-Terminating Circular a-MachinesMeurig Beynon puts an empirical slant on ——Turing's Approach to Modelling States of MindHenk Barendregt and Antonio Raffone explore ——Conscious Cognition as a Discrete, Deterministic and Universal Turing Machine ProcessAaron Sloman develops a distinctive view of——Virtual Machinery and Evolution of Mind (Part 1)Artur Ekert on the physical reality of ——NOTCristian Calude, Ludwig Staiger and Michael Stay on ——Halting and Non-Halting Turing ComputationsPhilip Welch leads us——Toward the Unknown Region: On Computing Infinite Numbers1937 On Computable Numbers, with an Application to the Entscheidungsproblem by A. M. Turing - Review by:Alonzo Church(J.Symb.Log.2,42)Andrew Hodges finds significance in ——Church's Review of Computable Numbers1937 Computability and λ-Definability(J. Symb. Log. 2, 153-63)Henk Barendregt, Giulio Manzonetto and Rinus Plasmeijertrace through to today ——The Imperative and Functional Programming ParadigmTuring text1937 The p-Function in λ-K Conversion(J.Symb.Log.2,164)Henk Barendregt and Giulio Manzonetto point out the subtleties of——Turing's Contributions to Lambda CalculusTuring textPart Ⅱ Hiding and Unhiding Information: Cryptoloty,Complexity and Unmber TheoryPart Ⅲ Building a Brain: Intelligent Machines,Practice and TheoryPart Ⅳ The Mathematics of Emergence: The Mysteries of MorphogenesisAfterwordBibliographyIndex
展开全部
本类五星书
本类畅销
-
昆虫采集制作及主要目科简易识别手册
¥17.5¥50.0 -
勒维特之星-大发现系列丛书
¥4.0¥16.0 -
昆虫的生存之道
¥14.1¥38.0 -
改变世界的发现
¥16.8¥48.0 -
喜马拉雅山珍稀鸟类图鉴
¥27.9¥68.0 -
宇宙与人
¥12.3¥35.0 -
声音简史
¥18.2¥52.0 -
星空探奇
¥14.4¥39.0 -
古文诗词中的地球与环境事件
¥9.8¥28.0 -
隐秩序:适应性造就复杂性
¥14.7¥39.8 -
中国古代科学思想二十讲
¥15.1¥43.0 -
希格斯:“上帝粒子”的发明与发现
¥14.4¥48.0 -
民国时期机电技术
¥15.8¥45.0 -
不匹配的一对:动物王国的性别文化
¥13.7¥42.8 -
几何原本
¥35.6¥93.6 -
折纸中的几何练习
¥17.8¥48.0 -
宇宙、量子和人类心灵
¥43.5¥58.0 -
科学之死:20世纪科学哲学思想简史
¥16.0¥50.0 -
图说相对论(32开平装)
¥17.0¥46.0 -
自然感悟丛书街巷里的四季:成都草木寻踪
¥18.0¥50.0