000
01714nam 2200313 450
001
012025000346
005
20251125145728.8
010
@ a978-7-111-78966-6@ dCNY89.00
100
@ a20251028d2025 em y0chiy50 ea
101
1
@ achi@ ceng
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年间担任该院院长。徐六通, 北京邮电大学计算机学院退休教授, 曾主讲离散数学等相关课程多年。杨娟, 北京邮电大学计算机学院副教授, 主要研究领域为云计算、大数据、智能信息处理及其应用。参与多项国家/省部级科研项目, 发表论文40余篇。
330
@ a本书分为命题逻辑和谓词逻辑两个部分, 内容包括: 命题逻辑的语法、命题逻辑的语义、逻辑运算符、演绎证明、关于证明的进一步分析等。
410
0
@ 12001 @ a数学应用系列
500
10
@ aMathematical logic through Python@ mChinese
606
0
@ a面向对象语言@ Amian xiang dui xiang yu yan@ x程序设计
690
@ aTP312@ 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@ bCDNYKJZYXY@ c20251028
905
@ aCDNYKJZYXY@ b300738278-79@ dTP312@ e668@ f2
利用Python学习数理逻辑/(美) 延奈·A. 冈察洛夫斯基, (以) 诺阿姆·尼桑著= Mathematical logic through Python/Yannai A. Gonczarowski, Noam Nisan/徐六通, 杨娟译.-北京：机械工业出版社，2025.10 243页；24cm.-(数学应用系列) ISBN 978-7-111-78966-6：CNY89.00 本书分为命题逻辑和谓词逻辑两个部分, 内容包括: 命题逻辑的语法、命题逻辑的语义、逻辑运算符、演绎证明、关于证明的进一步分析等。 ●
预约/预借
序号
登录号
条形码
馆藏地/架位号
状态
备注
1
738278
300738278
流通五库四楼/
[索取号:TP312/668]
在馆
2
738279
300738279
流通五库四楼/
[索取号:TP312/668]
在馆
