非經(jīng)典數(shù)理邏輯與近似推理（第二版）

定　價(jià)：￥62.00

作　者：	王國(guó)俊著
出版社：	科學(xué)出版社
叢編項(xiàng)：	現(xiàn)代數(shù)學(xué)基礎(chǔ)叢書(shū)
標(biāo)　簽：	數(shù)學(xué)理論

購(gòu)買這本書(shū)可以去

ISBN：	9787030212955	出版時(shí)間：	2008-05-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	304	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　本書(shū)在第一版的基礎(chǔ)上修訂再版，全書(shū)較系統(tǒng)地講述了各種三值邏輯、n值邏輯以及連續(xù)值邏輯理論；為模糊命題演算建立了一套形式演繹系統(tǒng)；把模糊推理納入了嚴(yán)格的邏輯軌道；從整體賦值出發(fā)，建立了積分語(yǔ)義學(xué)理論，為近似推理提供了一種可能的框架；系統(tǒng)論述了Pavelka邏輯并扼要論述了抽象邏輯。此外，本書(shū)在第一版的基礎(chǔ)上增添了模態(tài)邏輯、知識(shí)推理與描述邏輯的內(nèi)容。本書(shū)可作為計(jì)算機(jī)專業(yè)、自動(dòng)控制專業(yè)的研究生教材，也可供數(shù)學(xué)及相關(guān)專業(yè)的高年級(jí)本科生、教師、科研人員閱讀參考。

作者簡(jiǎn)介

　　王國(guó)俊，男，漢族，陜西渭南縣人。中共黨員。陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院教授，博士研究生導(dǎo)師。王國(guó)俊1958年7月畢業(yè)于西安師范學(xué)院數(shù)學(xué)系，畢業(yè)后在中學(xué)任教20年，1978年4月調(diào)入陜西師大數(shù)學(xué)系。1986年5月至1994年10月任陜西師范大學(xué)校長(zhǎng)。現(xiàn)為數(shù)學(xué)研究所所長(zhǎng)。他先后擔(dān)任中國(guó)數(shù)學(xué)會(huì)理事、中國(guó)模糊系統(tǒng)學(xué)會(huì)副主任委員、陜西省科學(xué)技術(shù)協(xié)會(huì)常務(wù)理事、陜西省數(shù)學(xué)會(huì)副理事長(zhǎng)、理事長(zhǎng)、陜西省教育國(guó)際交流學(xué)會(huì)副主席、陜西省學(xué)位委員會(huì)委員。

圖書(shū)目錄

《現(xiàn)代數(shù)學(xué)基礎(chǔ)叢書(shū)》序
第二版前言
第一版前言
第1章預(yù)備知識(shí)
　1.1 泛代數(shù)中的預(yù)備知識(shí)
　1.2 經(jīng)典命題演算理論
第2章多值邏輯的語(yǔ)義理論
　2.1 引言
　2.2 賦值格上的蘊(yùn)涵算子
　2.3 幾種三值邏輯系統(tǒng)
　2.4 一般多值邏輯系統(tǒng)
　2.5 Σ-（α-重言式）理論
第3章命題演算的形式系統(tǒng)∥
　3.1 Fuzzy推理與Fuzzy邏輯
　3.2 命題演算的形式演繹系統(tǒng)E*
　3.3 E*-indenbaum代數(shù)與R。-代數(shù)
第4章夠中的語(yǔ)義理論與Fuzzy推理的邏輯基礎(chǔ)
　4.1 E*的語(yǔ)義與可靠性定理
　4.2 E*中另一類三_重言式
　4.3 Fuzzy推理的CR1算法
　4.4 Fuzzy推理的三I算法
4.5 Fuzzy推理的邏輯基礎(chǔ)、支持度理論
第5章積分語(yǔ)義學(xué)
5.1 公式的真度
5.2 真度值在[0，1]中的分布
5.3 積分相似度理論
5.4 F（S）上的偽距離
5.5 F（S）上的近似推理
第6章格上的邏輯學(xué)
6.1 閉包算子與閉包系統(tǒng)
6.2 完備格上的邏輯學(xué)
6.3 緊致性的新形式——連續(xù)性
6.4 逐步推理
6.5 抽象模糊邏輯
6.6 公式集F上的非運(yùn)算
第7章 Pavelka的邏輯學(xué)
7.1 Pavelka邏輯的基本理論
……
第8章 Fuzzy推理的非Fuzzy形式
第9章模態(tài)邏輯、知識(shí)推理與描述邏輯
參考文獻(xiàn)
索引
《現(xiàn)代數(shù)學(xué)基礎(chǔ)叢書(shū)》已出版書(shū)目