同类推荐
-
-
视觉伺服技术与应用
-
¥99.00
-
-
视觉伺服技术与应用
-
¥99.00
-
-
视觉伺服技术与应用
-
¥99.00
-
-
机器视觉系统硬件设计、算法开发及应用
-
¥79.00
-
-
机器视觉系统硬件设计、算法开发及应用
-
¥79.00
-
-
机器视觉系统硬件设计、算法开发及应用
-
¥79.00
-
-
像素蛋糕AI修图全攻略:人像后期从入门到精通
-
¥78.00
-
-
软件测试策略:现代测试指南:a testing gui…
-
¥99.00
-
-
建筑视角下的游戏关卡设计
-
¥228.00
-
-
Python语言编程及实验指导
-
¥49.00
|
|
图书信息
|
|
|
|
利用Python学习数理逻辑
|
| ISBN： | 9787111789666 |
定价： | ￥89.00 |
| 作者： | (美)延奈·A.冈察洛夫斯基(Yannai A. Gonczarowski)，(以)诺阿姆·尼桑(Noam Nisan)著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2025年10月 |
版次： | 1版 |
| 开本： | 24 |
页数： | 243页 |
| 装祯： | 平装 |
中图法： | TP312PY |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
79
|
库区13/库区4
|
2026-02-04
|
|
其它供货商库存合计
|
500
|
|
2026-02-04
|
图书简介 | | 本书采用独特的叙述方法，引导读者利用Python编程实现基本的逻辑概念和数学证明来学习数理逻辑。这种专为编程基础日益增强的当代学子量身打造的教学方法，充分契合其直觉认知与技术优势，将数理逻辑学习带入他们熟悉的编程语境，通过深度实践构建清晰认知，并借助可运行代码的创作来帮助读者获得成就感。本书主要内容涵盖命题逻辑、一阶谓词逻辑和哥德尔完备性定理证明等，配套资源包括渐进式编程实践任务集、模块化代码框架、自动化测试用例。 |
|