掃一掃
關(guān)注中圖網(wǎng)
官方微博
艾倫·圖靈:他的工作與影響:his work and impact 版權(quán)信息
- ISBN：9787560357669
- 條形碼：9787560357669 ; 978-7-5603-5766-9
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
艾倫·圖靈:他的工作與影響:his work and impact 內(nèi)容簡介
庫珀、萊文所著的《艾倫·圖靈--他的工作與影響（上下）（英文版）》主要介紹了艾倫·圖靈的科學事業(yè)及其所產(chǎn)生的影響，其主要內(nèi)容包括電腦運算、人工智能、密碼學、形態(tài)發(fā)生學等。本書為此方面的研究者和各科學愛好者提供了一個相對容易的入口點，同時能幫助讀者進行有效的科學訓練。
艾倫·圖靈:他的工作與影響:his work and impact 目錄
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
展開全部
書友推薦
- >
名家?guī)阕x魯迅:朝花夕拾
- >
姑媽的寶刀
- >
莉莉和章魚
- >
史學評論
- >
朝聞道
- >
煙與鏡
- >
羅曼·羅蘭讀書隨筆-精裝
- >
伊索寓言-世界文學名著典藏-全譯本
本類暢銷
