论可计算数:图灵与现代计算的诞生
￥ 42 8.6折 ￥ 49 九五品
仅1件
作者【美】克里斯?伯恩哈特(Chris Bernhardt)
出版社中信出版社
ISBN9787508666105
出版时间2016-09
版次1
装帧精装
开本16开
纸张胶版纸
页数248页
字数99999千字
定价49元
上书时间2024-05-02
商品详情
- 品相描述：九五品
- 商品描述
-
基本信息
书名:论可计算数:图灵与现代计算的诞生
定价：49.00元
作者:【美】克里斯?伯恩哈特(Chris Bernhardt)
出版社：中信出版社
出版日期：2016-09-01
ISBN：9787508666105
字数：156000
页码：248
版次：1
装帧：精装
开本：大32开
商品重量：
编辑推荐
内容提要
1936年，24岁的图灵发表了现代计算领域奠基性的论文《论可计算数及其在判定问题上的应用》。这篇论文堪称图灵一生中重要的贡献。然而，大众对图灵的了解多停留在破解德国的密码系统Enigma，帮助盟军取得二战的胜利上。对于数学家图灵，人们往往知之甚少。在本书中，作者深入分析了图灵的这篇论文，读者只需具备高中水平的数学知识，即可轻松读懂这篇划时代的论文，了解其对现代计算发展的杰出贡献。正如人工智能之父马文•明斯基所说，图灵的论文有着超乎寻常的简洁性及数学之美。任何希望深入了解图灵及其工作的读者都不该错过这本书！
目录
前言 // VII章背景数学的确定性 //004布尔逻辑//008数学逻辑//010逻辑机器//011保卫数学基础//012希尔伯特的方法//014哥德尔结论//016图灵的结论//016第二章一些不可判定的判定问题埃米尔•波斯特 // 025波斯特的对应问题 // 026一个算法 // 030含有更多符号的对应问题 // 032希尔伯特的0 个问题 // 034停机问题 // 036剑桥的图灵 // 036第三章有限自动机有限自动机 // 043我们的个机器 // 044字母表和语言 // 046有限自动机和回答问题 // 049问题的否定 // 051忽略图表中的陷阱 // 052一些基本事实 // 054正则表达式 // 057有限自动机的瓶颈 // 062同样数量的0 和1 // 063平衡括号 // 064磁带和配置 // 065联系对应问题 // 067第四章图灵机有限自动机 // 043我们的个机器 // 044字母表和语言 // 046有限自动机和回答问题 // 049问题的否定 // 051忽略图表中的陷阱 // 052一些基本事实 // 054正则表达式 // 057有限自动机的瓶颈 // 062同样数量的 0 和 1 // 063平衡括号 // 064磁带和配置 // 065联系对应问题 // 067图灵机的例子 // 079可计算函数和计算 // 088邱奇—图灵论题 // 090计算能力 // 092多项式时间 // 093非确定性图灵机 // 095不会停机的机器 // 097第五章其他计算系统λ积分 // 106皮亚诺算术 // 108λ积分和函数 // 109算术 // 110逻辑 // 112标签系统 // 114一维元胞自动机 // 119第六章编码和通用机器编码有限自动机的方法 // 129通用机器 // 133设计通用机器 // 136现代计算机是图灵机 // 138冯•诺依曼结构 // 140随机存取机器 // 142图灵机能够模拟RAM // 145其他通用机器 // 147当我们把〈M〉输入M的时候会发生什么 // 149第七章不可判定的问题矛盾证明法 // 155罗素的理发师 // 158不接纳自己的编码的有限自动机 // 161不接纳自己的编码的图灵机 // 162“图灵机是否会在自己的编码上偏离”是不可判定的 // 164接纳、停机和空白磁带问题 // 166一个不可计算函数 // 168图灵的方法 // 170第八章康托尔的 对角论证法基数 // 177有理数的子集拥有相同的基数 // 179希尔伯特旅馆 // 182定义不完善的减法 // 184一般对角论证 // 184康托尔定理 // 186实数的基数 // 189对角论证法 // 193连续统假设 // 195计算的基数 // 195可计算数 // 197一个非可计算数 // 198存在可数数量的可计算数 // 199可计算数无法有效枚举 // 200第九章图灵的遗产 图灵在普林斯顿大学 // 206克劳德•香农 // 208第二次世界大战 // 20920 世纪 40 年代的计算机发展 //213克兰德•楚泽 // 214莫奇利和艾克特 // 214冯•诺依曼 // 215图灵测试 // 218陨落 // 221道歉和赦免 // 223拓展阅读 // 227注释 // 231
作者介绍
克里斯•伯恩哈特是美国费尔菲尔德大学数学系的一位教授，他从数学的角度入手，研究图灵的可计算数理论及现代计算的诞生，堪称图灵理论深入的研究者。
序言
-
【封面】
— 没有更多了 —
以下为对购买帮助不大的评价