書馨卡幫你省薪 2024個人購書報告 2024中圖網(wǎng)年度報告
歡迎光臨中圖網(wǎng) 請 | 注冊

數(shù)理邏輯

作者：劉新文
出版社：中國社會科學出版社出版時間：2010-01-01
開本： 16 頁數(shù)： 128頁
本類榜單：教材銷量榜
中 圖 價:¥13.4(5.6折) 定價  ¥24.0 登錄后可看到會員價
加入購物車 收藏
運費6元，滿39元免運費
?新疆、西藏除外
本類五星書更多>
買過本商品的人還買了

數(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)容為我們學習20世紀偉大的數(shù)學發(fā)現(xiàn)——哥德爾定理提供了基礎(chǔ)，也為進一步學習和研究數(shù)理邏輯的專門知識和問題提供了基礎(chǔ)。

數(shù)理邏輯 作者簡介

張清宇，1944年生，上海人。1978年考入中國社會科學院研究生院哲學系邏輯專業(yè)，1981年獲碩士學位，留中國社會科學院哲學研究所工作，現(xiàn)為哲學所研究員、中國社會科學院研究生院教授、博士生導師，主要從事符號邏輯研究，1986年被評為“國家級有突出貢獻中青年專家”。在經(jīng)典邏輯、弗協(xié)調(diào)邏輯等方面創(chuàng)制了一批現(xiàn)代邏輯形式系統(tǒng)，著有《數(shù)理邏輯》（與胡耀鼎合作）、《哲學邏輯研究》（與郭世銘、李小五合作）與《弗協(xié)調(diào)邏輯》等，現(xiàn)主持中國社會科學院重大課題“模態(tài)邏輯研究”。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網(wǎng)
在線客服