书目详细信息
： 利用Python学习数理逻辑
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-111-78966-6:CNY89.00 |
|---|---|
| 作品语种： | chi eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | 利用Python学习数理逻辑/.(美) 延奈·A. 冈察洛夫斯基, (以) 诺阿姆·尼桑著/.Yannai A. Gonczarowski, Noam Nisan/.徐六通, 杨娟译 |
| 出版发行项： | 北京:,机械工业出版社:,2025 |
| 载体形态项： | 243页:;+24cm |
| 丛编项： | 数学应用系列 |
| 一般附注： | CMP BOOKS |
| 提要文摘： | 本书采用独特的叙述方法, 引导读者利用Python编程实现基本的逻辑概念和数学证明来学习数理逻辑。这种专为编程基础日益增强的当代学子量身打造的教学方法, 充分契合其直觉认知与技术优势, 将数理逻辑学习带入他们熟悉的编程语境, 通过深度实践构建清晰认知, 并借助可运行代码的创作来帮助读者获得成就感。 |
| 题名主题： | 程序语言 程序设计 |
| 中图分类： | TP312.8PY |
| 个人名称等同： | 冈察洛夫斯基 著 |
| 个人名称等同： | 尼桑 著 |
| 个人名称次要： | 徐六通 译 |
| 个人名称次要： | 杨娟 译 |
| 记录来源： | CN 百万庄 20260921 |
| 记录来源： | CN GGNY 20261002 |