具體描述
《數理邏輯(第2版)》適閤作為數學、哲學、計算機科學以及其他學科需要學習數理邏輯課程的本科生和研究生的教材。
著者簡介
Herbert B.Enderton，哈佛大學博士，師從著名哲學傢hilary putnam。曾任教於加州大學伯剋利分校。現為加州大學洛杉磯分校數學係兼職教授，該校“邏輯學論壇”主席，曾擔任《符號邏輯學會評論》雜誌的主編。除本書外，他還著有另外兩本廣受好評的教材elements of set theory（影印版已經由人民郵電齣版社齣版）和linear algebra。
圖書目錄
第1章 命題邏輯
1.0 閑話形式語言
1.1 命題邏輯的語言
1.2 真值指派
1.3 解析算法
1.4 歸納與遞歸
1.5 命題聯結詞
1.6 交換電路
1.7 緊緻性和能行性
第2章 一階邏輯
2.0 預備知識
2.1 一階語言
2.2 真值與模型
2.3 解析算法
2.4 演繹計算
2.5 可靠性與完備性理論
2.6 理論的模型
2.7 理論之間的解釋
2.8 非標準分析
第3章 不可判定性
3.0 數論
3.1 有後繼數的自然數
3.2 數論的其他歸約模型
3.3 數論的子理論
3.4 語法的算術法
3.5 不完全性和不可判定性
3.6 遞歸函數
3.7 第二不完全性定理
3.8 冪乘運算的錶示
第4章 二階邏輯
4.1 二階語言
4.2 斯科倫函數
4.3 多類邏輯
4.4 廣義結構
附錄A 推薦讀物
附錄B 符號列錶
索引
· · · · · · (收起)
讀後感
用集合论构建逻辑，看的我头大。硬着头皮读吧。 当初买这本书，就是看中了第二章讲了点无穷小分析。
評分用集合论构建逻辑，看的我头大。硬着头皮读吧。 当初买这本书，就是看中了第二章讲了点无穷小分析。
評分用集合论构建逻辑，看的我头大。硬着头皮读吧。 当初买这本书，就是看中了第二章讲了点无穷小分析。
評分用集合论构建逻辑，看的我头大。硬着头皮读吧。 当初买这本书，就是看中了第二章讲了点无穷小分析。
評分用集合论构建逻辑，看的我头大。硬着头皮读吧。 当初买这本书，就是看中了第二章讲了点无穷小分析。
用戶評價
比較難懂哦 沒事多翻翻也挺有收益的
评分r2q35v
评分讀懵
评分@2017-08-31 20:52:33
评分翻譯版有錯誤。建議直接看英文版。ps:發現瞭好多翻譯錯誤。譬如搞錯not...or, objection 這些基本詞匯意思的。自學的初學者會被坑慘。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有