關(guān)于我們
書(shū)單推薦
新書(shū)推薦

計(jì)算機(jī)科學(xué)的邏輯基礎(chǔ)

計(jì)算機(jī)科學(xué)的邏輯基礎(chǔ)

定  價(jià):99 元

叢書(shū)名:計(jì)算機(jī)科學(xué)叢書(shū)

        

  • 作者:[美] 雷克斯·佩奇(Rex Page) 著,汪榮貴,陳朗,汪雄飛 譯
  • 出版時(shí)間:2021/6/1
  • ISBN:9787111682226
  • 出 版 社:機(jī)械工業(yè)出版社
  • 中圖法分類:TP302.2 
  • 頁(yè)碼:222
  • 紙張:膠版紙
  • 版次:1
  • 開(kāi)本:16開(kāi)
9
7
6
8
8
7
2
1
2
1
2
1
6
  《計(jì)算機(jī)科學(xué)的邏輯基礎(chǔ)》以實(shí)際問(wèn)題的求解為導(dǎo)向,對(duì)計(jì)算機(jī)科學(xué)的邏輯基礎(chǔ)知識(shí)進(jìn)行了介紹、討論和歸納,實(shí)現(xiàn)了邏輯與計(jì)算機(jī)之間的知識(shí)貫通。
  《計(jì)算機(jī)科學(xué)的邏輯基礎(chǔ)》主要內(nèi)容包括邏輯與等式、計(jì)算機(jī)算術(shù)、算法、計(jì)算實(shí)踐四個(gè)部分,采用三種形式化表示法,即傳統(tǒng)的邏輯代數(shù)公式表示法、數(shù)字電路圖表示法以及ACL2表示法實(shí)現(xiàn)邏輯推理。
  《計(jì)算機(jī)科學(xué)的邏輯基礎(chǔ)》不僅可以作為高等學(xué)校計(jì)算機(jī)、人工智能、大數(shù)據(jù)及相關(guān)專業(yè)的邏輯課程教材,也可供廣大計(jì)算機(jī)愛(ài)好者、計(jì)算機(jī)及相關(guān)領(lǐng)域的科研人員和工程技術(shù)人員自學(xué)參考。
  《計(jì)算機(jī)科學(xué)的邏輯基礎(chǔ)》以實(shí)際問(wèn)題的求解為導(dǎo)向,對(duì)計(jì)算機(jī)科學(xué)的邏輯基礎(chǔ)知識(shí)進(jìn)行了介紹、討論和歸納,完美地實(shí)現(xiàn)了邏輯與計(jì)算機(jī)之間的知識(shí)貫通。
  《計(jì)算機(jī)科學(xué)的邏輯基礎(chǔ)》主要內(nèi)容包括邏輯與等式、計(jì)算機(jī)算術(shù)、算法、計(jì)算實(shí)踐四個(gè)部分,采用三種形式化表示法,即傳統(tǒng)的邏輯代數(shù)公式表示法、數(shù)字電路圖表示法以及ACL2表示法實(shí)現(xiàn)邏輯推理。
  《計(jì)算機(jī)科學(xué)的邏輯基礎(chǔ)》特色:
  知識(shí)體系的組織結(jié)構(gòu)突破了傳統(tǒng)的數(shù)學(xué)框架,直接面向與計(jì)算機(jī)科學(xué)相關(guān)的邏輯主題,將邏輯用于解決計(jì)算機(jī)科學(xué)領(lǐng)域的重要問(wèn)題。
  結(jié)合生動(dòng)有趣的具體應(yīng)用實(shí)例介紹邏輯知識(shí)和證明方法,能夠有效地激發(fā)讀者的學(xué)習(xí)興趣,特別有助于培養(yǎng)讀者的邏輯思維和數(shù)學(xué)思維。
  采用三種形式化表示方法實(shí)現(xiàn)邏輯推理并將ACL2作為邏輯證明引擎,通過(guò)實(shí)際應(yīng)用效果生動(dòng)地驗(yàn)證了軟件和硬件工程師均可以從邏輯(包括機(jī)械化邏輯)的學(xué)習(xí)中獲益。
 你還可能感興趣
 我要評(píng)論
您的姓名   驗(yàn)證碼: 圖片看不清?點(diǎn)擊重新得到驗(yàn)證碼
留言內(nèi)容