计算进化史

计算进化史 pdf epub mobi txt 电子书 下载 2025

吉尔·多维克(Gilles Dowek),法国数学家、逻辑学家和计算机科学家,法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家,美国国家航空研究院顾问。多维克撰写过多部数学和计算机科学科普作品,曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。

出版者:人民邮电出版社
作者:[法] 吉尔·多维克
出品人:
页数:228
译者:劳佳
出版时间:2017-2
价格:39
装帧:平装
isbn号码:9787115447579
丛书系列:图灵新知
图书标签:
  • 数学 
  • 科普 
  • 计算机 
  • 计算机科学 
  • 计算 
  • 历史 
  • 数学文化 
  • 计算机/互联网 
  •  
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。

具体描述

读后感

评分

第二遍读完。 作者在20世纪90年代末,与合作者定义了谓词逻辑的一种扩展 ,演绎模理论:证明是由公理,演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结,或许,公理最终会被计算终结? 尾声中留下6个问题,应该再加一个,计算的回归会对数学教育产生什么样的...

评分

第二遍读完。 作者在20世纪90年代末,与合作者定义了谓词逻辑的一种扩展 ,演绎模理论:证明是由公理,演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结,或许,公理最终会被计算终结? 尾声中留下6个问题,应该再加一个,计算的回归会对数学教育产生什么样的...

评分

第二遍读完。 作者在20世纪90年代末,与合作者定义了谓词逻辑的一种扩展 ,演绎模理论:证明是由公理,演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结,或许,公理最终会被计算终结? 尾声中留下6个问题,应该再加一个,计算的回归会对数学教育产生什么样的...

评分

第二遍读完。 作者在20世纪90年代末,与合作者定义了谓词逻辑的一种扩展 ,演绎模理论:证明是由公理,演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结,或许,公理最终会被计算终结? 尾声中留下6个问题,应该再加一个,计算的回归会对数学教育产生什么样的...

评分

第二遍读完。 作者在20世纪90年代末,与合作者定义了谓词逻辑的一种扩展 ,演绎模理论:证明是由公理,演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结,或许,公理最终会被计算终结? 尾声中留下6个问题,应该再加一个,计算的回归会对数学教育产生什么样的...

用户评价

评分

有些和SICP类似的观点,基本上是在讲算法和推理的纠缠。看完了还是不懂lambda和图灵机。

评分

主要想讨论的是计算对证明的重要性。对“证明”这一概念的梳理比较清楚,尤其谓词逻辑和判定性问题的章节,提纲挈领,对理解语言哲学也有帮助。

评分

太难看懂了。。。

评分

很好的科普,浅出

评分

证明包括公理、演绎规则和计算规则。计算机这个工具对数学来说越来越重要了,或者说计算机是一种越来越重要的工具,需要从娃娃抓起。本书不理解的地方多。

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有