000 |
|
01479nam0 2200337 450 |
001 |
|
1000203857 |
005 |
|
20210616151853.0 |
010 |
__ |
■a978-7-115-44757-9■dCNY39.00 |
100 |
__ |
■a20170327d2017 em y0chiy50 ea |
101 |
1_ |
■achi■cfre |
102 |
__ |
■aCN■b110000 |
105 |
__ |
■ay a 001yy |
106 |
__ |
■ar |
200 |
1_ |
■a计算进化史■d= Les metamorphoses du calcul■e改变数学的命运■f(法) 吉尔·多维克著+...... |
210 |
__ |
■a北京■c人民邮电出版社■d2017 |
215 |
__ |
■a12, 216页■d19cm |
225 |
2_ |
■a图灵新知■ATu Ling Xin Zhi |
306 |
__ |
■a由Editions Le Pommier授权出版 |
314 |
__ |
■a吉尔·多维克(Gilles Dowek),法国数学家、逻辑学家和计算机科学家,法国国家计算机与自动化研究所机器证明处+...... |
314 |
__ |
■a劳佳,现任SAP(美国)高级软件支持顾问。 |
320 |
__ |
■a有书目 (第208-211页) 和索引 |
330 |
__ |
■a本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数+...... |
410 |
_0 |
■12001 ■a图灵新知 |
500 |
10 |
■aMetamorphoses du calcul■mChinese |
517 |
1_ |
■a改变数学的命运■AGai Bian Shu Xue De Ming Yun |
606 |
0_ |
■a计算机科学■x技术史■x研究■AJi Suan Ji Ke Xue |
690 |
__ |
■aTP3■v5 |
701 |
_1 |
■a多维克■g(Dowek, Gilles)■4著■ADuo Wei Ke |
702 |
_0 |
■a劳佳■4译■ALao Jia |
801 |
|
■aCN■bGSXY■c20210616 |
905 |
|
■aGSXY■fTP3/D822■g1456837■g1456838 |