本本书屋

 本本书屋 logo

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

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

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

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

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

下载链接在页面底部


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

发表于2024-11-02

计算进化史 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 用户评价

评分☆☆☆☆☆

3.5

评分☆☆☆☆☆

3.5

评分☆☆☆☆☆

读着费劲，总感觉文笔差

评分☆☆☆☆☆

获得出版社样书

评分☆☆☆☆☆

既然是Gilles Dowek写的还是要仔细读一下的；下次别人问我干啥的又多了一本可以推荐看的读物；

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

分享链接

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




相关图书



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

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

友情链接

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

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