000
02245nam 2200325 450
001
CAL 012025379008
005
20251024084724.0
010
@ a978-7-111-78966-6@ dCNY89.00
100
@ a20251023d2025 em y0chiy50 ea
101
1
@ achi@ ceng@ cheb
102
@ aCN@ b110000
105
@ ay z 000yy
106
@ ar
200
1
@ a利用Python学习数理逻辑@ Ali yong Python xue xi shu li luo ji@ f(美) 延奈·A.冈察洛夫斯基, (以) 诺阿姆·尼桑著@ d= Mathematical logic through Python@ fYannai A. Gonczarowski, Noam Nisan@ g徐六通, 杨娟译@ zeng
210
@ a北京@ c机械工业出版社@ d2025.10
215
@ a243页@ d24cm
225
2
@ a数学应用系列@ Ashu xue ying yong xi lie
314
@ a延奈·A.冈察洛夫斯基 (Yannai A. Gonczarowski), 哈佛大学经济学与计算机科学双聘助理教授, 系哈佛大学首位同时在这两个院系获得教职的学者。他拥有耶路撒冷希伯来大学数学与计算机科学博士学位。诺阿姆·尼桑 (Noam Nisan), 耶路撒冷希伯来大学计算机科学与工程学院教授, 2018年至2021年间担任该院院长。他拥有加州大学伯克利分校计算机科学博士学位, 因在计算复杂性和算法博弈论领域的研究获得过哥德尔奖 (Godel Prize) 和高德纳奖 (Knuth Award)。徐六通, 北京邮电大学计算机学院退休教授, 曾主讲离散数学等相关课程多年。杨娟, 北京邮电大学计算机学院副教授, 主要研究领域为云计算、大数据、智能信息处理及其应用。参与多项国家/省部级科研项目, 发表论文40余篇。长期为本科生讲授“离散数学”和“形式语言与自动机”课程。
330
@ a本书采用独特的叙述方法, 引导读者利用Python编程实现基本的逻辑概念和数学证明来学习数理逻辑。这种专为编程基础日益增强的当代学子量身打造的教学方法, 充分契合其直觉认知与技术优势, 将数理逻辑学习带入他们熟悉的编程语境, 通过深度实践构建清晰认知, 并借助可运行代码的创作来帮助读者获得成就感。本书主要内容涵盖命题逻辑、一阶谓词逻辑和哥德尔完备性定理证明等, 配套资源包括渐进式编程实践任务集、模块化代码框架、自动化测试用例。
410
0
@ 12001 @ a数学应用系列
500
10
@ aMathematical logic through Python@ mChinese
606
0
@ a程序语言@ Acheng xu yu yan@ x程序设计
610
0
@ aPython
690
@ aTP312PY@ v5
701
1
@ a冈察洛夫斯基@ Agang cha luo fu si ji@ g(Gonczarowski, Yannai A.)@ 4著
701
1
@ a尼桑@ Ani sang@ g(Nisan, Noam)@ 4著
702
0
@ a徐六通@ Axu liu tong@ 4译
702
0
@ a杨娟@ Ayang juan@ 4译
801
0
@ aCN@ b人天书店@ c20251023
905
@ b21525305-07@ dTP312PY@ e84@ f3
利用Python学习数理逻辑/(美) 延奈·A.冈察洛夫斯基, (以) 诺阿姆·尼桑著= Mathematical logic through Python/Yannai A. Gonczarowski, Noam Nisan/徐六通, 杨娟译.-北京：机械工业出版社，2025.10 243页；24cm.-(数学应用系列) ISBN 978-7-111-78966-6：CNY89.00 本书采用独特的叙述方法, 引导读者利用Python编程实现基本的逻辑概念和数学证明来学习数理逻辑。这种专为编程基础日益增强的当代学子量身打造的教学方法, 充分契合其直觉认知与技术优势, 将数理逻辑学习带入他们熟悉的编程语境, 通过深度实践构建清晰认知, 并借助可运行代码的创作来帮助读者获得成就感。本书主要内容涵盖命题逻辑、一阶谓词逻辑和哥德尔完备性定理证明等, 配套资源包括渐进式编程实践任务集、模块化代码框架、自动化测试用例。 ●
预约/预借
序号
登录号
条形码
馆藏地/架位号
状态
备注
1
1525305
215253053
十四楼书库/
[索取号:TP312PY/84]
在馆
架位导航
2
1525306
215253062
十四楼书库/
[索取号:TP312PY/84]
在馆
架位导航
3
1525307
215253071
十四楼书库/
[索取号:TP312PY/84]
在馆
架位导航
