同类推荐
-
-
网络服务器配置与管理
-
¥49.00
-
-
Stable Diffusion AIGC视觉教程
-
¥59.80
-
-
Java程序设计基础:微课版
-
¥64.80
-
-
Java程序设计基础:微课版
-
¥64.80
-
-
Java程序设计基础:微课版
-
¥64.80
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
Web前端设计与开发
-
¥54.80
-
-
自然语言处理实践:语义理解与信息抽取
-
¥89.00
|
|
图书信息
|
|
|
|
计算机科学的逻辑基础
|
| ISBN： | 9787111682226 |
定价： | ￥99.00 |
| 作者： | (美)雷克斯·佩奇(Rex Page)，(美)鲁本·冈博亚(Ruben Gamboa)著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2021年06月 |
开本： | 26cm |
| 页数： | 11,222页 |
中图法： | TP302.2 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
4
|
涿州教材
|
2026-06-21
|
|
其它供货商库存合计
|
52
|
|
2026-06-19
|
图书简介 | | 本书以实际问题的求解为导向，对计算机科学的逻辑基础知识进行了介绍、讨论和归纳，实现了逻辑与计算机之间的知识贯通。主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分，采用三种形式化表示法，即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。 |
|