逻辑的引擎PDF电子书下载
- 电子书积分:11 积分如何计算积分?
- 作 者:(美)马丁·戴维斯(Martin Davis)著
- 出 版 社:长沙:湖南科学技术出版社
- 出版年份:2018
- ISBN:9787535794420
- 页数:291 页
图书介绍:本书被誉从逻辑角度讲述计算机发展的最好的通俗读本。读者将对西方文化的核心之一——逻辑或数学有更深的理解,并且造就一种敏锐的眼光和问题意识,认识到再复杂的东西其实也是由简单的东西根据一定的规则组合而成的。本书讲述了位于计算机背后的思想层面的历史。
上一篇:电力工程设计手册 26 工程测绘下一篇:工程估价实务
《逻辑的引擎》目录
第1章 莱布尼茨之梦 1
第2章 布尔把逻辑变成代数 21
第3章 弗雷格:从突破到绝望 44
第4章 康托尔:在无限中摸索 65
第5章 希尔伯特的营救 90
第6章 哥德尔使计划落空 115
第7章 图灵构想通用计算机 151
第8章 研制第一批通用计算机 190
第9章 超越莱布尼茨之梦 213
尾声 224
注释 225
参考书目 258
索引 264
译后记 289
相关图书
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《弗雷格逻辑主义研究》刘靖贤著 2019
- 《卡塞尔不欢迎逻辑》(西)恩里克·比拉-马塔斯著;施杰李,雪菲译 2019
- 《哲学教授送给孩子们的逻辑思考课》冀剑制 2019
- 《逻辑与计算机科学哲学》潘沁著 2019
- 《哈佛逻辑课》(中国)穆臣刚 2019
- 《新时代背景下碳泄漏的法律规制 理论逻辑与实现路径》姜明 2019
- 《确证难题的逻辑研究》顿新国著;张建军主编 2019
- 《普京 权力的逻辑》(德国)胡贝特·塞佩尔 2019
作者其它书籍
- 《SQL与关系数据库理论》(美)戴特(C.J.Date) 2019
- 《魔法销售台词》(美)埃尔默·惠勒著 2019
- 《看漫画学钢琴 技巧 3》高宁译;(日)川崎美雪 2019
- 《优势谈判 15周年经典版》(美)罗杰·道森 2018
- 《社会学与人类生活 社会问题解析 第11版》(美)James M. Henslin(詹姆斯·M. 汉斯林) 2019
- 《海明威书信集:1917-1961 下》(美)海明威(Ernest Hemingway)著;潘小松译 2019
- 《迁徙 默温自选诗集 上》(美)W.S.默温著;伽禾译 2020
- 《上帝的孤独者 下 托马斯·沃尔夫短篇小说集》(美)托马斯·沃尔夫著;刘积源译 2017
- 《巴黎永远没个完》(美)海明威著 2017
- 《剑桥国际英语写作教程 段落写作》(美)吉尔·辛格尔顿(Jill Shingleton)编著 2019
出版社其它书籍
- 《钒产业技术及应用》高峰,彭清静,华骏主编 2019
- 《现代水泥技术发展与应用论文集》天津水泥工业设计研究院有限公司编 2019
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《Prometheus技术秘笈》百里燊 2019
- 《中央财政支持提升专业服务产业发展能力项目水利工程专业课程建设成果 设施农业工程技术》赵英编 2018
- 《药剂学实验操作技术》刘芳,高森主编 2019
- 《林下养蜂技术》罗文华,黄勇,刘佳霖主编 2017
- 《脱硝运行技术1000问》朱国宇编 2019
- 《催化剂制备过程技术》韩勇责任编辑;(中国)张继光 2019
- 《信息系统安全技术管理策略 信息安全经济学视角》赵柳榕著 2020