數(shù)理邏輯和算法理論：計算機科學與人工智能的數(shù)學基礎

定　價：￥40.00

作　者：	袁相碗
出版社：	中國鐵道出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

當當網 (￥28.00)

ISBN：	9787113298722	出版時間：	2023-04-01	包裝：	平裝
開本：	16開	頁數(shù)：	170	字數(shù)：

內容簡介

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

作者簡介

暫缺《數(shù)理邏輯和算法理論：計算機科學與人工智能的數(shù)學基礎》作者簡介

圖書目錄

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