中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數學專題練1200題
-
>
希格斯:“上帝粒子”的發明與發現
-
>
神農架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
買過本商品的人還買了
數理邏輯基礎.下冊 版權信息
- ISBN：9787030464224
- 條形碼：9787030464224 ; 978-7-03-046422-4
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
數理邏輯基礎.下冊 本書特色
本書陳述數理邏輯的基礎知識，包括邏輯演算的基本內容。這些內容構成數理邏輯各個分支(模型論、證明論和構造性數學、遞歸論、集合論)的共同的基礎。《BR》 本書共六部分，分上、下兩冊。下冊包括第三、四、五章和兩個附錄。第三章陳述邏輯演算的重言式系統，并研究自然推理系統和重言式系統的關系。第四章研究邏輯演算的可靠性和完備性問題。第五章討論了邏輯演箅如何應用于陳述具體的數學理論，并且研究了在數學中引進定義的形式化問題。附錄(一)陳述帶量詞的命題邏輯；附錄(二)定義了斜形證明，并且證明了形式證明與斜形證明的等價關系。
數理邏輯基礎.下冊 內容簡介
本書介紹數理邏輯的基礎知識, 包括邏輯驗算的基本內容。這些內容構成數理邏輯各個分支 (模型論、證明論和構造性數學、遞歸論、集合論) 的共同的基礎。本書共六部分, 分上、下兩冊。本冊為下冊。
數理邏輯基礎.下冊 目錄
第三章 重言式30 P的重言式系統31 P*等的重言式系統32 非古典命題邏輯的重言式系統33 謂詞邏輯的重言式系統34 重言式系統和自然推理系統的關系
第四章 可靠性和完備性40 賦值41 恒真性和可真性42 可靠性和協調性43 命題邏輯的完備性44 謂詞邏輯的完備性（一）45 謂詞邏輯的完備性（二）46 帶等詞的謂詞邏輯的完備性47 緊致性定理和勒文海姆一斯柯倫定理48 獨立性第五章 形式數學系統50 形式數學系統51 初等代數52 自然數53 哥德爾不完備性定理54 集55 實數56 應用重言式系統57 形式符號定義
附錄（一） 命題量詞附錄（二） 斜形證明符號匯編（下冊）參考文獻
展開全部
書友推薦
- >
莉莉和章魚
- >
月亮與六便士
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
史學評論
- >
煙與鏡
- >
伊索寓言-世界文學名著典藏-全譯本
- >
隨園食單
- >
苦雨齋序跋文-周作人自編集
本類暢銷
