欢迎来到相识电子书!
逻辑的引擎

逻辑的引擎

作者:[美] 马丁·戴维斯

分类:文学

ISBN:9787535742391

出版时间:2005-5

出版社:湖南科学技术出版社

标签: 科普  逻辑  计算机  数学  计算机科学  哲学  计算机史  逻辑的引擎 

章节目录

引言 第一章莱布尼茨之梦 第二章布尔把逻辑变成代数 第三章弗雷格:从突破到绝望 第四章康托尔:在无限中摸索 第五章希尔伯特的营救 第六章哥德尔使计划落空 第七章图灵构想通用计算机 第八章研制第一批通用计算机 第九章超越莱布尼茨之梦 尾声 注释 参考书目 索引 译后记

内容简介

本书介绍了现代计算机背后的那些基本概念和发展这些概念的人,描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。

下载说明

1、逻辑的引擎是作者[美] 马丁·戴维斯创作的原创作品,下载链接均为网友上传的网盘链接!

2、相识电子书提供优质免费的txt、pdf等下载链接,所有电子书均为完整版!

下载链接

热门评论

  • zhxilong2012的评论
    早上公交车上又翻开了《逻辑的引擎》这本书。 《逻辑的引擎》总序
  • 北方小米的评论
    #多看笔记# “对于自由主义者爱因斯坦来说,把票投给共和党人简直是不可想象的” 摘自《逻辑的引擎》@多看阅读 网页链接
  • 微软中国MSDN的评论
    #Connect2015# 【APP Service Logic APP 新功能】APP Service Logic APPS可以很容易的自动执行任何程序,而无需编写代码,同时可以整合从Azure到本地不同的数据源。视频中将介绍新增的逻辑应用程序引擎以及如何使用方法。网页链接
  • 希格露恩的评论
    最新的RPGmaker游戏引擎的逻辑是用JS+HTML5写的,编出来的游戏可以运行在各大平台,WINDOWS 安卓 苹果 等等,看的我都快高潮了,可惜可其他的IDE一样没有中文版,不过这并不影响。
  • singmelody的评论
    游戏入行快两年多了吧[笑cry]。切切实实感受到,虽然影响游戏成功与否的因素很多,但对游戏最重要的并不是逻辑代码和引擎技术,而是优秀的策划,再而是优秀的美术和代码架构。
  • 开启传奇_的评论
    粗略浏览了几本书:《符号逻辑讲义》《逻辑的引擎》《数理逻辑通俗讲话》《逻辑的困境》《哥德尔》《哥德尔不完全定理》《哥德尔、艾舍尔、巴赫——集异璧之大成》,都不容易读懂,还好只需读一小部分,第一本本想好好学习,奈何太过烧脑,还是看《黑客帝国》吧,据称尼奥就是哥德尔定理的产物[思考]
  • 河南大学图书馆流通部的评论
    【悦读漂流】彻底地看问题,理智地做决策是所有人的愿望,思维养成似乎成了“附加好处”,有被奉为经典的老书,有鲜活生动的新书,如果你乐于锻炼自己的大脑,它很美。――《逻辑的引擎》。索取号:Z228/M391/1-4
  • 早报网的评论
    【吴迪:人民币贬值的全球宏观逻辑】作为全球经济引擎的中国,首先要通过人民币贬值,缓解本国资产债务负债表通缩压力,然后通过量化宽松,激活本国乃至主要贸易伙伴国的融资抵押品链条(比如大宗商品),用自己的成功去杠杆,来带动全世界特别是新兴市场的去杠杆。 吴迪:人民币贬值的全...
  • 胡采渣的评论
    《逻辑的引擎》的书评:【理一下各位大仙们贡献】null…全文:网页链接 (@豆瓣app)理一下各位大仙们贡献 网页链接
  • zenny1chen的评论
    这鲁大师在搞啥飞机!?AMD从Bulldozer架构起就有所谓的超线程技术。它的一个核心包含两个逻辑核,而比起Intel的超线程,它更先进的是两个逻辑核具有独立的执行引擎,只有浮点计算与向量计算端... 又被骗了!Intel...
  • Kevintus的评论
    读过《逻辑的引擎》 ★★★★★ “莱布尼兹、布尔、弗雷格、康托尔、希伯特、哥德尔、图灵。逻辑数学,形式逻辑,并通过工程学转换为当代机器和人工智能” 网页链接
  • 科洛桑修车工的评论
    这是随口吟唱的歌谣,vat-b的数据库里找不出相似的代码,于是判定为不合逻辑。前行的vat-b引擎轻响中吟游诗人的眼里流淌着说不清的情绪,在合金与碳纤维中倒映着月光。镀银?更像放射物质。无法检测。vat-b跳过了这个问题,它说:先生,请规范行为。好的。吟游诗人眨了眨眼,又变回了冷漠的vat-a
  • 在日本做游戏的日子的评论
    代号12开发日志:图为类似生化危机和美国末日中玩家控制角色爬梯子动画在引擎中混合起来的基础逻辑图,非常复杂 ,明天会用另外一种思路把它简化到一半!晚安~