掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
道德經(jīng)說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經(jīng)
-
>
傳習(xí)錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
不協(xié)調(diào)信息的推理機(jī)制研究 版權(quán)信息
- ISBN：9787520316736
- 條形碼：9787520316736 ; 978-7-5203-1673-6
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
不協(xié)調(diào)信息的推理機(jī)制研究 本書特色
本書是國家社科基金項目“不協(xié)調(diào)理論的推理機(jī)制研究”（批準(zhǔn)號：10BZX054）的成果總結(jié)。該項目于2010年6月立項，結(jié)項成果為“系列論文”，該項目于2012年11月結(jié)項，鑒定等級為“優(yōu)秀”。本書是在相關(guān)系列論文的基礎(chǔ)上進(jìn)一步拓展、完善并進(jìn)行系統(tǒng)化整理而完成的。本書首先對國內(nèi)外各種弗協(xié)調(diào)邏輯及其相關(guān)研究進(jìn)行了系統(tǒng)的考察。在此基礎(chǔ)上提出自己解決不協(xié)調(diào)理論推理問題的方案.
不協(xié)調(diào)信息的推理機(jī)制研究 內(nèi)容簡介
本書是國家社科基金項目“不協(xié)調(diào)理論的推理機(jī)制研究”（批準(zhǔn)號：10BZX054）的成果總結(jié)。該項目于2010年6月立項，結(jié)項成果為“系列論文”，該項目于2012年11月結(jié)項，鑒定等級為“優(yōu)秀”。本書是在相關(guān)系列論文的基礎(chǔ)上進(jìn)一步拓展、完善并進(jìn)行系統(tǒng)化整理而完成的。本書首先對國內(nèi)外各種弗協(xié)調(diào)邏輯及其相關(guān)研究進(jìn)行了系統(tǒng)的考察。在此基礎(chǔ)上提出自己解決不協(xié)調(diào)理論推理問題的方案。
不協(xié)調(diào)信息的推理機(jī)制研究 目錄
**章 緒論
1.1 司各脫法則
1.2 國內(nèi)外相關(guān)研究概述
1.3 弗協(xié)調(diào)邏輯的基本策略
1.4 邏輯的本質(zhì)
1.5 研究內(nèi)容與結(jié)構(gòu)安排
第二章 對當(dāng)關(guān)系邏輯
2.1 否定的類型
2.2 對當(dāng)關(guān)系邏輯的理論緣起
2.3 對當(dāng)關(guān)系邏輯
2.4 對當(dāng)關(guān)系邏輯的判定問題
2.5 對當(dāng)關(guān)系邏輯的擴(kuò)充及其應(yīng)用
第三章 知識蘊涵命題邏輯
3.1 知識蘊涵
3.2 知識蘊涵命題邏輯公理系統(tǒng)
3.3 可靠性和完全性
3.4 可判定性
第四章 知識蘊涵模態(tài)邏輯
4.1 模態(tài)語言
4.2 知識蘊涵模態(tài)邏輯公理系統(tǒng)
4.3 系統(tǒng)的元理論
第五章 知識蘊涵時態(tài)邏輯
5.1 時態(tài)語言
5.2 知識蘊涵時態(tài)邏輯公理系統(tǒng)
5.3 Kt的元理論
第六章 知識蘊涵直覺主義邏輯
6.1 形式語言
6.2 知識蘊涵直覺主義命題邏輯公理系統(tǒng)
6.3 知識蘊涵直覺主義邏輯的形式語義
6.4 ID的元理論
第七章 知識蘊涵謂詞邏輯
7.1 形式語言
7.2 知識蘊涵謂詞邏輯公理系統(tǒng)
7.3 知識蘊涵謂詞邏輯的形式語義
7.4 系統(tǒng)的元理論
第八章 否定、蘊涵和弗協(xié)調(diào)邏輯
8.1 □及□中的否定
8.2 知識蘊涵與其他蘊涵的關(guān)系
第九章 不協(xié)調(diào)信息轉(zhuǎn)換
9.1 不協(xié)調(diào)信息向協(xié)調(diào)信息的轉(zhuǎn)換
9.2 轉(zhuǎn)換的基本類型
9.3 基本概念
9.4 可容變換存在性證明
9.5 解悖變換的存在性
第十章 弗協(xié)調(diào)邏輯在計算機(jī)科學(xué)中的應(yīng)用
10.1 弗協(xié)調(diào)邏輯在計算機(jī)科學(xué)中的應(yīng)用概述
10.2 應(yīng)用案例分析
10.3 基于新系統(tǒng)的應(yīng)用分析
結(jié)語
參考文獻(xiàn)及相關(guān)研究資料
展開全部
不協(xié)調(diào)信息的推理機(jī)制研究 作者簡介
杜國平：江蘇省盱眙縣人，教授，博士生導(dǎo)師。2000年6月畢業(yè)于中國社會科學(xué)院研究生院邏輯學(xué)專業(yè)，獲哲學(xué)博士學(xué)位；2009年12月畢業(yè)于南京航空航天大學(xué)計算機(jī)應(yīng)用技術(shù)專業(yè)，獲工學(xué)博士學(xué)位。曾任南京大學(xué)哲學(xué)系副教授、教授，南京大學(xué)哲學(xué)系邏輯室主任，南京大學(xué)哲學(xué)系黨委委員，F(xiàn)任中國社會科學(xué)院哲學(xué)研究所教授，中國邏輯學(xué)會副會長兼秘書長、中國邏輯學(xué)會應(yīng)用邏輯專業(yè)委員會主任。主要從事邏輯學(xué)專業(yè)研究，研究方向為現(xiàn)代邏輯及其應(yīng)用。
書友推薦
- >
推拿
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
我與地壇
- >
史學(xué)評論
- >
詩經(jīng)-先民的歌唱
- >
上帝之肋:男人的真實旅程
- >
月亮與六便士
- >
巴金－再思錄
本類暢銷
