|
题名:
|
利用Python学习数理逻辑 / (美) 延奈·A. 冈察洛夫斯基, (以) 诺阿姆·尼桑著 , 徐六通, 杨娟译 |
|
ISBN:
|
978-7-111-78966-6 价格： CNY89.00 |
|
语种:
|
chi |
|
载体形态:
|
243页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2025 |
|
内容提要:
|
本书采用独特的叙述方法, 引导读者利用Python编程实现基本的逻辑概念和数学证明来学习数理逻辑。这种专为编程基础日益增强的当代学子量身打造的教学方法, 充分契合其直觉认知与技术优势, 将数理逻辑学习带入他们熟悉的编程语境, 通过深度实践构建清晰认知, 并借助可运行代码的创作来帮助读者获得成就感。 |
|
主题词:
|
程序语言 程序设计 |
|
中图分类法:
|
TP312.8 版次： 5 |
|
主要责任者:
|
冈察洛夫斯基 著 |
|
主要责任者:
|
尼桑 著 |
|
次要责任者:
|
徐六通 译 |
|
次要责任者:
|
杨娟 译 |
|
附注:
|
CMP BOOKS |
|
责任者附注:
|
延奈·A. 冈察洛夫斯基(Yannai A. Gonczarowski), 哈佛大学经济学与计算机科学双聘助理教授, 系哈佛大学首位同时在这两个院系获得教职的学者。他拥有耶路撒冷希伯来大学数学与计算机科学博士学位。 |
|
责任者附注:
|
诺阿姆·尼桑(Noam Nisan), 耶路撒冷希伯来大学计算机科学与工程学院教授, 2018年至2021年间担任该院院长。他拥有加州大学伯克利分校计算机科学博士学位。 |
|
责任者附注:
|
徐六通, 北京邮电大学计算机学院退休教授, 曾主讲离散数学等相关课程多年。 |
|
责任者附注:
|
杨娟, 北京邮电大学计算机学院副教授, 主要研究领域为云计算、大数据、智能信息处理及其应用。参与多项国家/省部级科研项目, 发表论文40余篇。 |