中圖網(wǎng)小程序
一鍵登錄
更方便
本類五星書更多>
-
>
闖進數(shù)學(xué)世界――探秘歷史名題
-
>
中醫(yī)基礎(chǔ)理論
-
>
當(dāng)代中國政府與政治(新編21世紀(jì)公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫(yī)內(nèi)科學(xué)·全國中醫(yī)藥行業(yè)高等教育“十四五”規(guī)劃教材
數(shù)理邏輯 版權(quán)信息
- ISBN：9787500485438
- 條形碼：9787500485438 ; 978-7-5004-8543-8
- 裝幀：簡裝本
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
數(shù)理邏輯 目錄
前言**章 句法和語義**節(jié) 一階語言第二節(jié) 項和公式第三節(jié) 一階理論第四節(jié) 結(jié)構(gòu)第五節(jié) 嵌入與同構(gòu)思考題第二章 命題邏輯**節(jié) 命題邏輯的句法和語義第二節(jié) 緊致性定理第三節(jié) 證明第四節(jié) 完全性定理思考題第三章 一階邏輯**節(jié) 一階邏輯的證明和元定理第二節(jié) 算術(shù)中的元定理第三節(jié) 一致性和完全性第四節(jié) 完全性定理第五節(jié) 理論的解釋和定義擴充第六節(jié) 緊致性定理第七節(jié) 完全理論思考題第四章 遞歸函數(shù)和理論的算術(shù)化**節(jié) 遞歸函數(shù)和遞歸謂詞第二節(jié) 半遞歸謂詞第三節(jié) 理論的算術(shù)化第四節(jié) 可判定的理論思考題第五章 不完全性定理**節(jié) 可表示性第二節(jié) **不完全性定理第三節(jié) 算術(shù)集合第四節(jié) 皮亞諾算術(shù)的遞歸擴張第五節(jié) 第二不完全性定理思考題
展開全部
數(shù)理邏輯 節(jié)選
《數(shù)理邏輯》介紹數(shù)理邏輯的基本內(nèi)容，如經(jīng)典一階邏輯（包括命題邏輯和謂詞邏輯）的句法、語義、邏輯演算（形式證明）以及刻畫句法和語義之間關(guān)系的完全性定理，初步的模型論內(nèi)容，集合論初步知識，哥德爾第二不完全性定理以及所需的遞歸論內(nèi)容，等等。這些內(nèi)容為我們學(xué)習(xí)20世紀(jì)偉大的數(shù)學(xué)發(fā)現(xiàn)——哥德爾定理提供了基礎(chǔ)，也為進一步學(xué)習(xí)和研究數(shù)理邏輯的專門知識和問題提供了基礎(chǔ)。
數(shù)理邏輯 作者簡介
張清宇，1944年生，上海人。1978年考入中國社會科學(xué)院研究生院哲學(xué)系邏輯專業(yè)，1981年獲碩士學(xué)位，留中國社會科學(xué)院哲學(xué)研究所工作，現(xiàn)為哲學(xué)所研究員、中國社會科學(xué)院研究生院教授、博士生導(dǎo)師，主要從事符號邏輯研究，1986年被評為“國家級有突出貢獻中青年專家”。在經(jīng)典邏輯、弗協(xié)調(diào)邏輯等方面創(chuàng)制了一批現(xiàn)代邏輯形式系統(tǒng)，著有《數(shù)理邏輯》（與胡耀鼎合作）、《哲學(xué)邏輯研究》（與郭世銘、李小五合作）與《弗協(xié)調(diào)邏輯》等，現(xiàn)主持中國社會科學(xué)院重大課題“模態(tài)邏輯研究”。
書友推薦
- >
名家?guī)阕x魯迅:故事新編
- >
唐代進士錄
- >
小考拉的故事-套裝共3冊
- >
經(jīng)典常談
- >
我從未如此眷戀人間
- >
自卑與超越
- >
上帝之肋:男人的真實旅程
- >
人文閱讀與收藏·良友文學(xué)叢書:一天的工作
本類暢銷
