數(shù)理邏輯和算法理論：計(jì)算機(jī)科學(xué)與人工智能的數(shù)學(xué)基礎(chǔ)

定　價(jià)：￥40.00

作　者：	袁相碗
出版社：	中國(guó)鐵道出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購(gòu)買這本書(shū)可以去

當(dāng)當(dāng)網(wǎng) (￥28.00)

ISBN：	9787113298722	出版時(shí)間：	2023-04-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	170	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　本書(shū)以數(shù)理邏輯和算法理論的進(jìn)化為主線，并結(jié)合計(jì)算機(jī)與人工智能學(xué)科的發(fā)展為其主要特色進(jìn)行論述。本書(shū)共分8章，主要內(nèi)容包括算法化和公理化矛盾統(tǒng)一的數(shù)學(xué)史觀，邏輯的數(shù)學(xué)化，集合論公理化，數(shù)學(xué)基礎(chǔ)問(wèn)題三大派之爭(zhēng)，數(shù)理邏輯主要內(nèi)容的形成，丘奇-圖靈論題的創(chuàng)立和計(jì)算機(jī)的出現(xiàn)，計(jì)算機(jī)科學(xué)與算法，人工智能與算法。其中后兩章介紹了計(jì)算機(jī)科學(xué)、人工智能與算法的關(guān)系。本書(shū)適合作為高等院校人工智能、計(jì)算機(jī)科學(xué)、數(shù)學(xué)、哲學(xué)等本科專業(yè)學(xué)生及研究生對(duì)應(yīng)課程的學(xué)習(xí)教材，也適合作為從事計(jì)算機(jī)科學(xué)和人工智能應(yīng)用與開(kāi)發(fā)的科技人員的參考用書(shū)。

作者簡(jiǎn)介

暫缺《數(shù)理邏輯和算法理論：計(jì)算機(jī)科學(xué)與人工智能的數(shù)學(xué)基礎(chǔ)》作者簡(jiǎn)介

圖書(shū)目錄

第0章緒論10.1什么是算法化和公理化矛盾統(tǒng)一的數(shù)學(xué)發(fā)展史l0.2什么是數(shù)理邏輯40.3算法概念的演變60.4哥德?tīng)柌?性定理7第1章邏輯的數(shù)學(xué)化91.1萊布尼茨的邏輯的數(shù)學(xué)化構(gòu)想91.2布爾的邏輯代數(shù)121.3弗雷格的邏輯演算211.4命題演算和謂詞演算系統(tǒng)的完善25第2章集合論公理化352.1古典集合論的創(chuàng)立362.2第三次數(shù)學(xué)危機(jī)(集合論悖論)的引發(fā)432.3集合論的公理化47第3章數(shù)學(xué)基礎(chǔ)問(wèn)題三大派之爭(zhēng)533.1邏輯主義543.2直覺(jué)主義573.3形式主義633.4數(shù)學(xué)基礎(chǔ)問(wèn)題三大派之爭(zhēng)的簡(jiǎn)要評(píng)述67第4章數(shù)理邏輯主要內(nèi)容的形成714.1希爾伯特的四個(gè)中心問(wèn)題和哥德?tīng)柕?貢獻(xiàn)714.2數(shù)理邏輯主要內(nèi)容的形成734.3哥德?tīng)?性定理794.4哥德?tīng)柌?性定理824.5哥德?tīng)柌?性定理的歷史意義864.6哥德?tīng)柕臄?shù)學(xué)思想91第5章丘奇-圖靈論題的創(chuàng)立和計(jì)算機(jī)的出現(xiàn)945.1可計(jì)算性理論的興起945.2丘奇-圖靈論題的創(chuàng)立1005.3圖靈理想計(jì)算機(jī)的意義1065.4計(jì)算機(jī)的