艾倫·圖靈 他的工作與影響(套裝上下冊 英文版) [Alan Yuring-his Work And Impact]

艾倫·圖靈 他的工作與影響(套裝上下冊 英文版) [Alan Yuring-his Work And Impact] 下載 mobi epub pdf 電子書 2024


簡體網頁||繁體網頁
[英] 庫珀(Cooper.S.B.),[荷] 萊文(Leeuwen.J.V.) 著



點擊這裡下載
    


想要找書就要到 圖書大百科
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-12-18

類似圖書 點擊查看全場最低價

圖書介紹

齣版社: 哈爾濱工業大學齣版社
ISBN:9787560357669
版次:1
商品編碼:11941710
包裝:平裝
叢書名: 國外優秀數學著作原版係列
外文名稱:Alan Yuring-his Work And Impact
開本:16開
齣版時間:2016-01-01
用紙:膠版紙
頁數:914
套裝數量:2
字數:78


相關圖書





圖書描述

內容簡介

  《艾倫·圖靈 他的工作與影響(套裝上下冊 英文版)》主要介紹瞭艾倫·圖靈的科學事業及其所産生的影響,其主要內容包括電腦運算、人工智能、密碼學、形態發生學等。《艾倫·圖靈 他的工作與影響(套裝上下冊 英文版)》為此方麵的研究者和各科學愛好者提供瞭一個相對容易的入口點,同時能幫助讀者進行有效的科學訓練。

目錄

List of Contributors
Introduction
Part 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 Memoir
Biographical Memoir
1936-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 I
Turing texts
Stephen Wolfram on ——The Importance of Universal Computation
Martin Davis illuminates ——Three Proofs of the Unsolvability of the Entscheidungsproblem
Samson Abramsky detects ——Two Puzzles About Computation
Paul Vitanyi illustrates the importance of Turing Machines and Understanding Computational Complexity
Gregory Chaitin traces the path ——From the Halting Problem to the Halting Probability
Robert Irving Soare expands on ——Turing and the Art of Classical Computability
Rainer Glaschick takes us on a trip back toTuring Machines in Munster
From K. Vela Velupillai ——Reflections on Wittgenstein's Debates with Turing during his Lectures on the Foundations of Mathematics
Jan van Leeuwen and Jiri Wiedermann on ——The Computational Power of Turing's Non-Terminating Circular a-Machines
Meurig Beynon puts an empirical slant on ——Turing's Approach to Modelling States of Mind
Henk Barendregt and Antonio Raffone explore ——Conscious Cognition as a Discrete, Deterministic and Universal Turing Machine Process
Aaron Sloman develops a distinctive view of——Virtual Machinery and Evolution of Mind (Part 1)
Artur Ekert on the physical reality of ——NOT
Cristian Calude, Ludwig Staiger and Michael Stay on ——Halting and Non-Halting Turing Computations
Philip Welch leads us——Toward the Unknown Region: On Computing Infinite Numbers
1937 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 Numbers
1937 Computability and λ-Definability(J. Symb. Log. 2, 153-63)
Henk Barendregt, Giulio Manzonetto and Rinus Plasmeijertrace through to today ——The Imperative and Functional Programming Paradigm
Turing text
1937 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 Calculus
Turing text

Part Ⅱ Hiding and Unhiding Information: Cryptoloty,Complexity and Unmber Theory
Part Ⅲ Building a Brain: Intelligent Machines,Practice and Theory
Part Ⅳ The Mathematics of Emergence: The Mysteries of Morphogenesis
Afterword
Bibliography
Index

前言/序言


艾倫·圖靈 他的工作與影響(套裝上下冊 英文版) [Alan Yuring-his Work And Impact] 下載 mobi epub pdf txt 電子書 格式

艾倫·圖靈 他的工作與影響(套裝上下冊 英文版) [Alan Yuring-his Work And Impact] mobi 下載 pdf 下載 pub 下載 txt 電子書 下載 2024

艾倫·圖靈 他的工作與影響(套裝上下冊 英文版) [Alan Yuring-his Work And Impact] 下載 mobi pdf epub txt 電子書 格式 2024

艾倫·圖靈 他的工作與影響(套裝上下冊 英文版) [Alan Yuring-his Work And Impact] 下載 mobi epub pdf 電子書
想要找書就要到 圖書大百科
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

用戶評價

評分

評分

評分

評分

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價

艾倫·圖靈 他的工作與影響(套裝上下冊 英文版) [Alan Yuring-his Work And Impact] mobi epub pdf txt 電子書 格式下載 2024


分享鏈接




相關圖書


本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 book.qciss.net All Rights Reserved. 圖書大百科 版權所有