全部标签

可计算性

可计算性与数理逻辑

PDF扫描版 / 電子工業出版社 / 2005-07 / 可计算性与数理逻辑
图书
- 1
- 0
可计算性理论

PDF扫描版 / 科学出版社 / 1999-04 / 可计算性理论
图书
- 1
- 0
第一推动丛书·综合系列:逻辑的引擎(CS大牛关于计算机科学思想发展简史的最佳科普，CS学生必读）

EPUB / 【美】马丁·戴维斯 / 湖南科学技术出版社 / 2012-04-11 / 《逻辑的引擎》是计算机科学思想发展简史的最佳科普书籍之一，由著名计算机科学家马丁·戴维斯撰写。本书深入浅出地介绍了计算机科学的核心思想及其发展历程，从逻辑学的起源到现代计算机的诞生，涵盖了图灵机、可计算性理论、算法复杂性等多个重要主题。
图书
- 3
- 0

❯

提升下载权限

个人中心

今日签到

有新私信私信列表

搜索

客服

扫码打开当前页

返回顶部

幸运之星正在降临...

点击领取今天的签到奖励！

恭喜！您今天获得了{{mission.data.mission.credit}}积分

今日签到

连续签到

{{item.credit}}

连续{{item.count}}天

查看所有

我的优惠劵

_￥_优惠劵

使用时效：无法使用

使用时效：
之前

使用时效：永久有效

优惠劵ID：
×

限制以下商品使用：限制以下商品分类使用：不限制使用：

[{{ct.name}}]

所有商品和商品类型均可使用

没有优惠劵可用!

购物车

×

删除

购物车空空如也!

清空购物车前往结算

您有新的私信

没有新私信

写新私信查看全部