site logo
site text logo

ad holder

计算进化史 2024 pdf epub mobi 电子书

计算进化史
☆☆☆☆☆
简体网页||繁体网页

计算进化史 2024 pdf epub mobi 电子书 著者简介

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

计算进化史 电子书 图书目录

下载链接在页面底部


点击这里下载
    
linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-04-30

计算进化史 2024 pdf epub mobi 电子书

计算进化史 2024 pdf epub mobi 电子书

计算进化史 2024 pdf epub mobi 电子书


喜欢 计算进化史 电子书 的读者还喜欢


计算进化史 电子书 读后感

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

类似图书 点击查看全场最低价
出版者:人民邮电出版社
作者:[法] 吉尔·多维克
出品人:
页数:228
译者:劳佳
出版时间:2017-2
价格:39
装帧:平装
isbn号码:9787115447579
丛书系列:图灵新知

图书标签: 数学  科普  计算机  计算机科学  计算  历史  数学文化  计算机/互联网   

计算进化史 2024 pdf epub mobi 电子书 图书描述

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

计算进化史 2024 pdf epub mobi 电子书
计算进化史 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

计算进化史 2024 pdf epub mobi 用户评价

评分☆☆☆☆☆

#只能算是本小册子，虽然视角和其他数学史有不同，用算法的思维来解读数学发展，但是感觉并没有深入挖的意思。属于普及用的数普书。另外不知道是因为版权费太高还是从法语翻译翻译费比较高，本书性价比一般。本来以为书中能提到吴文俊，结果并没有。关于直觉主义以及四色定理那些部分写得挺有意思的。书中类比到乔姆斯基的生成语法，窃以为语言学与数学差距还是比较大的。数学比语言学更“底层”，就像物理比化学、生物更“底层”。

评分☆☆☆☆☆

三星半吧，一本数理逻辑发展简史，不过用科普的形式很难说清楚

评分☆☆☆☆☆

太难看懂了。。。

评分☆☆☆☆☆

#只能算是本小册子，虽然视角和其他数学史有不同，用算法的思维来解读数学发展，但是感觉并没有深入挖的意思。属于普及用的数普书。另外不知道是因为版权费太高还是从法语翻译翻译费比较高，本书性价比一般。本来以为书中能提到吴文俊，结果并没有。关于直觉主义以及四色定理那些部分写得挺有意思的。书中类比到乔姆斯基的生成语法，窃以为语言学与数学差距还是比较大的。数学比语言学更“底层”，就像物理比化学、生物更“底层”。

评分☆☆☆☆☆

计算还是推理，这是一个问题

计算进化史 2024 pdf epub mobi 电子书

分享链接

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接




相关图书



服务条款
联系我们
关于我们
隐私政策

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

友情链接

中国国家图书馆
国立台湾图书馆
美国国会图书馆
开放图书馆 openlibrary.org

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有