📖 书目详情
利用Python学习数理逻辑
| 著者 | (美)延奈·A.冈察洛夫斯基(Yannai A. Gonczarowski)，(以)诺阿姆·尼桑(Noam Nisan)著 |
| ISBN | 9787111789666 |
| 中图分类 | TP312PY 自动化技术、计算机技术 |
| 学科分类 | 工学 |
| 版次 | 第1版 |
| 出版社 | 机械工业出版社 |
| 丛书名 | 数学应用系列 |
| 出版年 | 2025 |
| 页码 | 243页 |
| 价格 | ¥89.00 |
| 可推荐册数 | 请登录后查看 |
| 核心评分 |
8.1/10
|
📝 内容简介
本书采用独特的叙述方法，引导读者利用Python编程实现基本的逻辑概念和数学证明来学习数理逻辑。这种专为编程基础日益增强的当代学子量身打造的教学方法，充分契合其直觉认知与技术优势，将数理逻辑学习带入他们熟悉的编程语境，通过深度实践构建清晰认知，并借助可运行代码的创作来帮助读者获得成就感。本书主要内容涵盖命题逻辑、一阶谓词逻辑和哥德尔完备性定理证明等，配套资源包括渐进式编程实践任务集、模块化代码框架、自动化测试用例。
🏛️ 本馆馆藏信息
本馆暂无该书的馆藏记录，可在线借购