中圖網(wǎng)小程序
一鍵登錄
更方便
本類五星書(shū)更多>
-
>
道德經(jīng)說(shuō)什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時(shí)期宗教工作與管理
-
>
帛書(shū)道德經(jīng)
-
>
傳習(xí)錄
-
>
齊奧朗作品·苦論
-
>
無(wú)障礙閱讀典藏版:莊子全書(shū)
中圖價(jià):¥38.4
加入購(gòu)物車
結(jié)構(gòu)推理(第2版) 版權(quán)信息
- ISBN：9787559828781
- 條形碼：9787559828781 ; 978-7-5598-2878-1
- 裝幀：一般膠版紙
- 冊(cè)數(shù)：暫無(wú)
- 重量：暫無(wú)
- 所屬分類：>>
結(jié)構(gòu)推理(第2版) 本書(shū)特色
展現(xiàn)了日常推理中的多種推理方式，為邏輯推理機(jī)制的深入研究和人工智能的開(kāi)發(fā)提供了研究基礎(chǔ)。 1.該書(shū)展現(xiàn)了日常推理中的多種推理方式，對(duì)于邏輯推理機(jī)制的深入研究和人工智能的開(kāi)發(fā)具有重要的理論意義和實(shí)際價(jià)值。 2.該書(shū)在語(yǔ)義理論的基礎(chǔ)上，證明了各個(gè)結(jié)構(gòu)推理系統(tǒng)的可靠性與完全性，并考察了正結(jié)合演算結(jié)構(gòu)推理系統(tǒng)BL-D的可判定性，是探究這一邏輯前沿領(lǐng)域的力作。 3.作者為邏輯學(xué)方面著名學(xué)者 結(jié)構(gòu)推理展現(xiàn)了日常推理中的多種推理方式，對(duì)于邏輯推理機(jī)制的深入研究和人工智能的開(kāi)發(fā)具有重要的理論意義和實(shí)際價(jià)值。
結(jié)構(gòu)推理(第2版) 內(nèi)容簡(jiǎn)介
本書(shū)研究命題邏輯的結(jié)構(gòu)推理，涉及多種結(jié)構(gòu)推理系統(tǒng)的建構(gòu)，結(jié)構(gòu)推理系統(tǒng)與相應(yīng)公理系統(tǒng)的等價(jià)性，在語(yǔ)義理論的基礎(chǔ)上，證明了各個(gè)結(jié)構(gòu)推理系統(tǒng)的可靠性與接近性，并考察了正結(jié)合演算結(jié)構(gòu)推理系統(tǒng)BL-D的可判定性，是探究這一邏輯前沿領(lǐng)域的力作。
結(jié)構(gòu)推理(第2版) 目錄
**章 經(jīng)典命題邏輯的結(jié)構(gòu)推理
§1．1 經(jīng)典命題邏輯的結(jié)構(gòu)推理系統(tǒng)PL
§1．2 切割規(guī)則與其他導(dǎo)出規(guī)則
§1．3 系統(tǒng)PL與相應(yīng)公理系統(tǒng)P的等價(jià)性
第二章 直覺(jué)主義命題邏輯的結(jié)構(gòu)推理
§2．1 直覺(jué)主義命題邏輯的結(jié)構(gòu)推理系統(tǒng)PL
§2．2 系統(tǒng)IL與相應(yīng)公理系統(tǒng)IP的等價(jià)性
§2．3 二元關(guān)系語(yǔ)義
第三章 相干命題邏輯及其線性片段的結(jié)構(gòu)推理
§3．1 相干命題邏輯的結(jié)構(gòu)推理系統(tǒng)RL及其線性片段BCL
§3．2 系統(tǒng)RL、BCL與相應(yīng)公理系統(tǒng)R、BC的等價(jià)性
§3．3 三元關(guān)系語(yǔ)義
§3．4 系統(tǒng)RL、BCL的完全性
第四章 正結(jié)合演算的結(jié)構(gòu)推理
§4．1 正結(jié)合演算的結(jié)構(gòu)推理系統(tǒng)BL
§4．2 系統(tǒng)BL與相應(yīng)公理系統(tǒng)B的等價(jià)性
§4．3 擇類語(yǔ)義
§4．4 正結(jié)合演算結(jié)構(gòu)推理系統(tǒng)BL-D的可判定性
參考文獻(xiàn)
符號(hào)表
索引
初版后記
§1．1 經(jīng)典命題邏輯的結(jié)構(gòu)推理系統(tǒng)PL
§1．2 切割規(guī)則與其他導(dǎo)出規(guī)則
§1．3 系統(tǒng)PL與相應(yīng)公理系統(tǒng)P的等價(jià)性
第二章 直覺(jué)主義命題邏輯的結(jié)構(gòu)推理
§2．1 直覺(jué)主義命題邏輯的結(jié)構(gòu)推理系統(tǒng)PL
§2．2 系統(tǒng)IL與相應(yīng)公理系統(tǒng)IP的等價(jià)性
§2．3 二元關(guān)系語(yǔ)義
第三章 相干命題邏輯及其線性片段的結(jié)構(gòu)推理
§3．1 相干命題邏輯的結(jié)構(gòu)推理系統(tǒng)RL及其線性片段BCL
§3．2 系統(tǒng)RL、BCL與相應(yīng)公理系統(tǒng)R、BC的等價(jià)性
§3．3 三元關(guān)系語(yǔ)義
§3．4 系統(tǒng)RL、BCL的完全性
第四章 正結(jié)合演算的結(jié)構(gòu)推理
§4．1 正結(jié)合演算的結(jié)構(gòu)推理系統(tǒng)BL
§4．2 系統(tǒng)BL與相應(yīng)公理系統(tǒng)B的等價(jià)性
§4．3 擇類語(yǔ)義
§4．4 正結(jié)合演算結(jié)構(gòu)推理系統(tǒng)BL-D的可判定性
參考文獻(xiàn)
符號(hào)表
索引
初版后記
展開(kāi)全部
結(jié)構(gòu)推理(第2版) 作者簡(jiǎn)介
馮棉,華東師范大學(xué)終身教授，博士生導(dǎo)師，國(guó)務(wù)院特殊津貼獲得者，中國(guó)邏輯學(xué)會(huì)副會(huì)長(zhǎng)，上海市邏輯學(xué)會(huì)會(huì)長(zhǎng)，《邏輯學(xué)研究》雜志編委，臺(tái)灣大學(xué)客座教授（2013年）。 撰有專著《經(jīng)典邏輯與直覺(jué)主義邏輯》《廣義模態(tài)邏輯》《哲學(xué)邏輯與邏輯哲學(xué)》《相干與衍推邏輯》《可能世界與邏輯研究》《相干邏輯研究》《結(jié)構(gòu)推理》《相干與衍推謂詞邏輯》等多部。參與編寫(xiě)《哲學(xué)大辭典》《計(jì)算機(jī)科學(xué)技術(shù)百科全書(shū)》《辭海》《外國(guó)哲學(xué)大辭典》《大辭！贰哆壿媽W(xué)大辭典》（副主編）等辭書(shū)和《邏輯學(xué)導(dǎo)論》等多部教材！ ∠群蟪袚(dān)多項(xiàng)國(guó)家和教育部基金項(xiàng)目，著作和論文獲教育部“高等學(xué)校科學(xué)研究?jī)?yōu)秀成果獎(jiǎng)”、上海市哲學(xué)社會(huì)科學(xué)優(yōu)秀學(xué)術(shù)成果獎(jiǎng)和“金岳霖學(xué)術(shù)獎(jiǎng)”。主要研究領(lǐng)域?yàn)椤艾F(xiàn)代邏輯”和“邏輯哲學(xué)”。
書(shū)友推薦
- >
小考拉的故事-套裝共3冊(cè)
- >
巴金－再思錄
- >
伯納黛特,你要去哪(2021新版)
- >
詩(shī)經(jīng)-先民的歌唱
- >
名家?guī)阕x魯迅:故事新編
- >
中國(guó)人在烏蘇里邊疆區(qū):歷史與人類學(xué)概述
- >
月亮虎
- >
推拿
本類暢銷
