| 000 |
|
02051cam 2200373 450 |
| 001 |
|
CAL 012025120085 |
| 005 |
|
20251117085835.7 |
| 010 |
__ |
■a978-7-111-78966-6■dCNY89.00 |
| 099 |
__ |
■aCAL 012025120085 |
| 100 |
__ |
■a20251021d2025 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■d= Mat+...... |
| 210 |
__ |
■a北京■c机械工业出版社■d2025 |
| 215 |
__ |
■a243页■d24cm |
| 225 |
2_ |
■a数学应用系列■Ashu xue ying yong xi lie |
| 300 |
__ |
■aCMP BOOKS |
| 314 |
__ |
■a延奈·A. 冈察洛夫斯基(Yannai A. Gonczarowski), 哈佛大学经济学与计算机科学双聘助理教授,+...... |
| 314 |
__ |
■a诺阿姆·尼桑(Noam Nisan), 耶路撒冷希伯来大学计算机科学与工程学院教授, 2018年至2021年间担任该+...... |
| 314 |
__ |
■a徐六通, 北京邮电大学计算机学院退休教授, 曾主讲离散数学等相关课程多年。 |
| 314 |
__ |
■a杨娟, 北京邮电大学计算机学院副教授, 主要研究领域为云计算、大数据、智能信息处理及其应用。参与多项国家/省部级科研+...... |
| 330 |
__ |
■a本书采用独特的叙述方法, 引导读者利用Python编程实现基本的逻辑概念和数学证明来学习数理逻辑。这种专为编程基础日+...... |
| 410 |
_0 |
■12001 ■a数学应用系列 |
| 500 |
10 |
■aMathematical logic through Python■mChinese |
| 606 |
0_ |
■a程序语言■x程序设计■Acheng xu yu yan |
| 690 |
__ |
■aTP312.8PY■v5 |
| 701 |
_1 |
■a冈察洛夫斯基■f1981-■g(Gonczarowski, Yannai A.),■4著■Agang cha luo+...... |
| 701 |
_1 |
■a尼桑■g(Nisan, Noam)■4著■Ani sang |
| 702 |
_0 |
■a徐六通■4译■Axu liu tong |
| 702 |
_0 |
■a杨娟■4译■Ayang juan |
| 801 |
_0 |
■aCN■b广东新华■c20260914 |
| 801 |
_2 |
■aCN■b广东新华■c20260914 |
| 905 |
|
■aHNUU■b000856147■b000856148■dTP312.8PY/7 |
(共0票)
评价
