同类推荐
-
-
VC++图像处理与分析实战
-
¥108.00
-
-
VC++图像处理与分析实战
-
¥108.00
-
-
VC++图像处理与分析实战
-
¥108.00
-
-
Premiere影视剪辑制作
-
¥69.80
-
-
办公软件高级应用案例教程（AI协同）（Office 2…
-
¥59.80
-
-
办公软件高级应用案例教程（AI协同）（Office 2…
-
¥59.80
-
-
办公软件高级应用案例教程（AI协同）（Office 2…
-
¥59.80
-
-
揭秘网络勒索攻击从基础知识到应对策略全解析
-
¥99.80
-
-
揭秘网络勒索攻击从基础知识到应对策略全解析
-
¥99.80
-
-
揭秘网络勒索攻击从基础知识到应对策略全解析
-
¥99.80
|
|
图书信息
|
|
|
|
利用Python学习数理逻辑
|
| ISBN： | 9787111789666 |
定价： | ￥89.00 |
| 作者： | (美)延奈·A.冈察洛夫斯基(Yannai A. Gonczarowski)，(以)诺阿姆·尼桑(Noam Nisan)著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2025年10月 |
版次： | 1版 |
| 开本： | 24 |
页数： | 243页 |
| 装祯： | 平装 |
中图法： | TP312PY |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
42
|
库区7/样本7
|
2025-10-28
|
|
|
|
|
|
图书简介 | | 本书采用独特的叙述方法，引导读者利用Python编程实现基本的逻辑概念和数学证明来学习数理逻辑。这种专为编程基础日益增强的当代学子量身打造的教学方法，充分契合其直觉认知与技术优势，将数理逻辑学习带入他们熟悉的编程语境，通过深度实践构建清晰认知，并借助可运行代码的创作来帮助读者获得成就感。本书主要内容涵盖命题逻辑、一阶谓词逻辑和哥德尔完备性定理证明等，配套资源包括渐进式编程实践任务集、模块化代码框架、自动化测试用例。 |
|