查看同類圖書：人文社科»哲學»邏輯學（論理學）»經典邏輯與非經典邏輯基礎（研究生教學用書）

經典邏輯與非經典邏輯基礎（研究生教學用書）

【作　者】：杜國平

【叢編項】：無

【裝幀項】：平裝 16開 / 266

【出版項】：高等教育出版社 / 2006-7-1

【ISBN號】：9787040189520 / 7040189526

【原書定價】：￥29.50　有4家書店打折銷售

【主題詞】：哲學與宗教－邏輯學－綜合

書籍介紹

購買本書

【圖書簡介】
　　暫缺簡介....

【本書目錄】
第一章預備知識
1.1集
1.2集運算
1.3關系和映射
1.4集合的基數
第二章命題邏輯
2.1基于命題聯系的推理
2.2命題語言
2.3公理系統
2.4命題邏輯自然推理系統
2.5語義
2.6真值表
2.7真值連接詞的完全集
2.8命題邏輯的元理論
第三章一階謂詞邏輯
3.1自然語言的一階表示
3.2一階語言
3.3一階語義
3.4一階謂詞邏輯公理系統
3.5一階謂詞邏輯自然推理系統
3.6一階謂詞邏輯系統元理論
第四章公理集合論基礎
4.1ZFC簡介
4.2外延公理、空集公理和子集公理
4.3偶集公理
4.4并集公理和冪集公理
4.5關系
4.6等價關系和劃分
4.7函數和選擇公理
4.8無窮公理、歸納定義和正則公理
4.9序數和替換公理
4.10基數
第五章模態邏輯
5.1模態語言
5.2模態命題邏輯系統K
5.3模態命題邏輯系統D、T
5.4模態命題邏輯系統S4、B、S5
5.5模態命題邏輯系統K、D、T、S4、B和S5的一致性
5.6可能世界語義學
5.7模態公式與一階公式的對應
5.8模態命題邏輯系統K、D、T、S4、B、S5的可靠性
5.9反模型方法
5.10模態命題邏輯系統K、D、T、S4、B、s5的完全性
第六章時態邏輯
6.1時態語言
6.2時態語義
6.3時態邏輯極小系統K
6.4K.的元理論
6.5其他時態邏輯系統
第七章弗協調邏輯
7.1弗協調邏輯的產生
7.2形式語言
7.3公理系統Cn(1≤n<ω)
7.4Cn(1≤n<ω)的語義及可靠性
7.5足道集與Cn(1≤n<ω)的完全性
7.6Cn(1≤n<ω)的判定問題
7.7Cn的語義
第八章直覺主義邏輯
8.1直覺主義
8.2直覺主義邏輯形式系統
8.3直覺主義邏輯的語義
8.4直覺主義邏輯元理論
參考書目

【購買本書】

購書指南»

商城名稱	價格	配送信息	優惠活動	去看看	購買
卓越網	￥26.60	送貨上門：國內308個城市郵寄：全球特快專遞：全球海外航空快遞	滿30元，優惠5元運費	去看看	訂購
中國書網	￥24.49	送貨上門：全國81個城市郵寄：全國(中國郵政) 特快專遞：全國		去看看	訂購
中國圖書網	￥26.60	送貨上門：全國30個城市郵寄、快遞：全國特快專遞EMS：全球	訂單金額超過100元免費配送精品藏書拍賣活動	去看看	訂購
D1便利網	￥25.10	送貨上門：數十個大中城市郵寄：全球其他：全國大件貨運	全場滿99免運費	去看看	訂購