計(jì)算進(jìn)化史
認(rèn)領(lǐng)
0粉絲
本書從計(jì)算的變遷這一獨(dú)特視角回顧了數(shù)學(xué)、邏輯學(xué)和哲學(xué)的歷史沿革，展現(xiàn)了計(jì)算為數(shù)學(xué)研究發(fā)展帶來的全新前景，展望了這場數(shù)學(xué)革命在自然科學(xué)、信息科學(xué)與哲學(xué)領(lǐng)域引發(fā)的重大變革。 吉爾·多維克（Gilles Dowek），法國數(shù)學(xué)家、邏輯學(xué)家和計(jì)算機(jī)科學(xué)家，法國國家計(jì)算機(jī)與自動(dòng)化研究所機(jī)器證明處理系統(tǒng)、編程語言、航空系統(tǒng)安全專家，美國國家航空研究院顧問。多維克撰寫過多部數(shù)學(xué)和計(jì)算機(jī)科學(xué)科普作品，曾榮獲
簡介
本書從計(jì)算的變遷這一獨(dú)特視角回顧了數(shù)學(xué)、邏輯學(xué)和哲學(xué)的歷史沿革，展現(xiàn)了計(jì)算為數(shù)學(xué)研究發(fā)展帶來的全新前景，展望了這場數(shù)學(xué)革命在自然科學(xué)、信息科學(xué)與哲學(xué)領(lǐng)域引發(fā)的重大變革。 吉爾·多維克（Gilles Dowek），法國數(shù)學(xué)家、邏輯學(xué)家和計(jì)算機(jī)科學(xué)家，法國國家計(jì)算機(jī)與自動(dòng)化研究所機(jī)器證明處理系統(tǒng)、編程語言、航空系統(tǒng)安全專家，美國國家航空研究院顧問。多維克撰寫過多部數(shù)學(xué)和計(jì)算機(jī)科學(xué)科普作品，曾榮獲... 更多
屬性
出版社
人民郵電出版社
出品方
圖靈新知
ISBN
9787115447579
出版年
2017-2
裝幀
平裝
價(jià)格
39
頁數(shù)
228
評價(jià)
0.0（滿分 10 分）0 個(gè)評分
什么是點(diǎn)評分
圖片
表情
全部評價(jià)(
0)
推薦率
100%