掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
闖進數學世界――探秘歷史名題
-
>
中醫基礎理論
-
>
當代中國政府與政治(新編21世紀公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材
數理邏輯 版權信息
- ISBN：9787500485438
- 條形碼：9787500485438 ; 978-7-5004-8543-8
- 裝幀：簡裝本
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
數理邏輯 目錄
前言**章 句法和語義**節 一階語言第二節 項和公式第三節 一階理論第四節 結構第五節 嵌入與同構思考題第二章 命題邏輯**節 命題邏輯的句法和語義第二節 緊致性定理第三節 證明第四節 完全性定理思考題第三章 一階邏輯**節 一階邏輯的證明和元定理第二節 算術中的元定理第三節 一致性和完全性第四節 完全性定理第五節 理論的解釋和定義擴充第六節 緊致性定理第七節 完全理論思考題第四章 遞歸函數和理論的算術化**節 遞歸函數和遞歸謂詞第二節 半遞歸謂詞第三節 理論的算術化第四節 可判定的理論思考題第五章 不完全性定理**節 可表示性第二節 **不完全性定理第三節 算術集合第四節 皮亞諾算術的遞歸擴張第五節 第二不完全性定理思考題
展開全部
數理邏輯 節選
《數理邏輯》介紹數理邏輯的基本內容，如經典一階邏輯（包括命題邏輯和謂詞邏輯）的句法、語義、邏輯演算（形式證明）以及刻畫句法和語義之間關系的完全性定理，初步的模型論內容，集合論初步知識，哥德爾第二不完全性定理以及所需的遞歸論內容，等等。這些內容為我們學習20世紀偉大的數學發現——哥德爾定理提供了基礎，也為進一步學習和研究數理邏輯的專門知識和問題提供了基礎。
數理邏輯 作者簡介
張清宇，1944年生，上海人。1978年考入中國社會科學院研究生院哲學系邏輯專業，1981年獲碩士學位，留中國社會科學院哲學研究所工作，現為哲學所研究員、中國社會科學院研究生院教授、博士生導師，主要從事符號邏輯研究，1986年被評為“國家級有突出貢獻中青年專家”。在經典邏輯、弗協調邏輯等方面創制了一批現代邏輯形式系統，著有《數理邏輯》（與胡耀鼎合作）、《哲學邏輯研究》（與郭世銘、李小五合作）與《弗協調邏輯》等，現主持中國社會科學院重大課題“模態邏輯研究”。
書友推薦
- >
朝聞道
- >
推拿
- >
山海經
- >
羅曼·羅蘭讀書隨筆-精裝
- >
回憶愛瑪儂
- >
自卑與超越
- >
隨園食單
- >
人文閱讀與收藏·良友文學叢書:一天的工作
本類暢銷
