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

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

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

定  價:99 元

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

        

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