現(xiàn)代邏輯學講義（兩冊）
出版時間：2005-9 出版社：中山大學出版社 作者：李小五 頁數(shù)：500
Tag標簽：無
內(nèi)容概要
《模態(tài)邏輯》：模態(tài)邏輯是研究可以用模態(tài)語言表述的推理形式的有效性的學問。它是哲學邏輯的基礎，作為一門課程，它是邏輯學專業(yè)的基礎課之一。本講義介紹了句子層次上（命題型的）模態(tài)邏輯最基本的內(nèi)容。 本講義內(nèi)容多，知識面廣，定理定義表達嚴謹，例題習題豐富，可作為高等學校邏輯學專業(yè)本科生、研究生教材使用。 《數(shù)理邏輯》：數(shù)理邏輯是研究可以用數(shù)學語言表述的推理形式的有效性的學問。它是全部邏輯的基礎，作為一門課程，它是邏輯學專業(yè)最重要的基礎課。 數(shù)理邏輯分兩大部分：句子邏輯和量化邏輯。本講義介紹句子邏輯的基本內(nèi)容和量化邏輯的基礎——一階邏輯的基本內(nèi)容。 本講義內(nèi)容豐富，知識面廣，表達嚴謹，習題例題豐富，可作為高等學校邏輯學專業(yè)本科生、研究生教材使用。
作者簡介
李小五，男，1955年1月生于浙江湖州。
1980-1984年在北京大學哲學系念哲學本科，1986-1989年在北京大學哲學系攻讀邏輯學碩士學位，1989年獲碩士學位。
1992年從國防大學調(diào)入中國社會科學院所邏輯研究室，2000年10月在中國社會科學院聘為研究員。2002年8月作為引進
書籍目錄
現(xiàn)代邏輯學講義：模態(tài)邏輯 第1章 公理化系統(tǒng) 1 公理化系統(tǒng) 協(xié)調(diào)性 和諧性 2 初等系統(tǒng) 3 基本系統(tǒng) 4 退化系統(tǒng) 5 其他一些重要的系統(tǒng) 第2章 強推演、一致性與極大一致性 1 強推演 2 S-一致性與極大性 第3章 關系語義與可靠性定理 1 關系語義 2 對應定理 3 可靠性定理 4 反模型方法 第4章 典范模型與完全性定理 1 完全性概念 2 典范模型及其基本定理 3 完全性定理 4 刻畫定理 5 KG（mn）/（jk）的刻畫定理 第5章 有窮模型性與可判定性 1 有窮模型性與窮框架性 2 過濾有窮模型性 3 極小典范模型與有窮模型性 4 有模型性與可判定性 5 沒有有窮模型性的系統(tǒng) 第6章 鄰域語義 1 領域語義 2 刻畫定理 3 過濾與有窮模型性 4 與關系主義的關系 參考文獻 后記現(xiàn)代邏輯學講義：數(shù)理邏輯
圖書封面
圖書標簽Tags
無
評論、評分、閱讀與下載
用戶評論 (總計8條)
- 這是李小五老師的講義，關于數(shù)理邏輯和模態(tài)邏輯，書兩本，不厚，寫得很好??！
- 買了李小五老師的人工智能邏輯之后,發(fā)現(xiàn)其書很適合我讀^^^所以搜尋到了這本書^^^還沒有詳細看,只是大致的翻閱了一下,很系統(tǒng)的介紹了我想了解的內(nèi)容^^^等讀完了再寫書評吧^^^
- 其實主要是要模態(tài)那本，要是能拆開賣就好了！
- 邏輯學的學習參考，一般吧
- 就因為我是用掛號寄的，就因為我把掛號單丟了，四個月了我也沒換回我要的書，可訂單狀態(tài)明明寫著“收到退換貨”。打了好幾個電話，給我的回答就是等，天哪！究竟是誰的問題。我也算當當?shù)闹覍嵱脩袅?，可要知道信心是一點點培養(yǎng)的，是需要精心呵護的，一個小小的疏忽就可能前功盡棄。
- 對邏輯感興趣 買來看看
- 李小五的數(shù)理邏輯偏向文科的，不適合計算機專業(yè)看！
- 不是說是"全二冊"么怎么我只收到了模態(tài)邏輯這一本,根本就沒什么數(shù)理邏輯這么小小的一本就將近三十元.這也太貴了!