定 價(jià)：98 元
叢書(shū)名：信息科學(xué)與技術(shù)基礎(chǔ)叢書(shū)
- 作者：李未著
- 出版時(shí)間：2014/3/1
- ISBN：9787030401557
- 出 版 社：科學(xué)出版社
- 中圖法分類(lèi)：O141
- 頁(yè)碼：312
- 紙張：膠版紙
- 版次：2
- 開(kāi)本：大32開(kāi)
《信息科學(xué)與技術(shù)基礎(chǔ)叢書(shū)·數(shù)理邏輯：基本原理與形式演算（第二版）》的內(nèi)容共分十章，系統(tǒng)介紹數(shù)理邏輯的基本原理與形式演算。前五章涵蓋了經(jīng)典數(shù)理邏輯的核心內(nèi)容，包括一階語(yǔ)言的語(yǔ)法與模型，形式推理系統(tǒng)，可計(jì)算性與可表示性，哥德?tīng)柖ɡ�。后五章的�?nèi)容是作者的研究成果。這部分內(nèi)容包括：版本序列及其極限理論、修正演算系統(tǒng)、過(guò)程模式理論、歸納推理理論、三個(gè)語(yǔ)言環(huán)境的理論和元語(yǔ)言環(huán)境遵從的6個(gè)基本原理以及信息社會(huì)中科學(xué)研究的工作流程。
更多科學(xué)出版社服務(wù)，請(qǐng)掃碼獲取。
迅猛發(fā)展的信息科學(xué)與技術(shù)將人類(lèi)社會(huì)帶入了信息時(shí)代。半個(gè)多世紀(jì)以來(lái)，眾多學(xué)者為信息科學(xué)的建立、信息技術(shù)的發(fā)展和信息社會(huì)的進(jìn)步作出了不懈的努力。然而，要為信息科學(xué)與技術(shù)奠定堅(jiān)實(shí)的基礎(chǔ)，我們?nèi)匀幻媾R很多問(wèn)題與挑戰(zhàn)。無(wú)論是科學(xué)研究和技術(shù)革新，還是基礎(chǔ)教育和學(xué)科建設(shè)，都需要我們繼續(xù)付出艱苦的勞動(dòng)。
如何加強(qiáng)和深化信息科學(xué)的基礎(chǔ)研究，完善已有的創(chuàng)新成果，為信息技術(shù)的持續(xù)發(fā)展提供保障？如何將重要的學(xué)術(shù)思想、理論和方法系統(tǒng)化，將信息科學(xué)與技術(shù)各個(gè)分支中的基本原理、核心內(nèi)容和最新進(jìn)展結(jié)合起來(lái)？如何讓學(xué)術(shù)論著同時(shí)服務(wù)于科研與教學(xué)，使其相輔相成、相互促進(jìn)？這些問(wèn)題的解決將會(huì)使我國(guó)信息科學(xué)與技術(shù)的基礎(chǔ)教育和學(xué)術(shù)研究的質(zhì)量得到顯著提高。
《信息科學(xué)與技術(shù)基礎(chǔ)叢書(shū)》是為解決上述問(wèn)題所做的一種嘗試。這套叢書(shū)旨在收錄信息科學(xué)與技術(shù)領(lǐng)域的研究專(zhuān)著。要求每部著作中都有一定篇幅的內(nèi)容是著者的原創(chuàng)性研究成果，并且結(jié)構(gòu)合理、內(nèi)容充實(shí)、論證嚴(yán)密、寫(xiě)作規(guī)范。這套叢書(shū)可以作為研究生和高年級(jí)本科生的教材和教學(xué)參考書(shū)。入選這套叢書(shū)的每部著作都至少需要通過(guò)兩位同行專(zhuān)家的評(píng)審。
這套叢書(shū)的出版離不開(kāi)作者、出版社與編委會(huì)的通力合作和諸多同仁的支持。在此我們向支持叢書(shū)出版工作的所有個(gè)人和單位表示誠(chéng)摯的謝意，并熱切期待來(lái)自讀者的批評(píng)、指正和幫助，使這套叢書(shū)能夠不斷完善，成為信息科學(xué)與技術(shù)方面的重要文獻(xiàn)。
李未
2007年11月
于北京航空航天大學(xué)
書(shū)單推薦
