互模擬理論的邏輯研究

定　價(jià)：￥65.00

作　者：	姚從軍著
出版社：	科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	計(jì)算機(jī)/網(wǎng)絡(luò) 人工智能

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

ISBN：	9787030486202	出版時(shí)間：	2016-07-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	188	字?jǐn)?shù)：

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

　　《互模擬理論的邏輯研究》從邏輯的角度研究互模擬，主要以模型論、集合論和模態(tài)邏輯的知識(shí)為背景，意在從歷史層面揭示互模擬在模態(tài)邏輯和非良基集合論中的發(fā)展過(guò)程，從理論層面探討互模擬的基本理論和作用。《互模擬理論的邏輯研究》的內(nèi)容主要包括互模擬的發(fā)展歷程、互模擬的基本理論和性質(zhì)、互模擬與模態(tài)等價(jià)之間的關(guān)系、基于互模擬的模態(tài)模型構(gòu)造技術(shù)、基于互模擬的非良基集合的分類(lèi)和方程組的解引理、基于互模擬的模態(tài)邏輯與非良基集合論之間的內(nèi)在聯(lián)系、“雙模擬”的概念和性質(zhì)。《互模擬理論的邏輯研究》可供數(shù)學(xué)、邏輯學(xué)和計(jì)算機(jī)專(zhuān)業(yè)的研究生閱讀.也可供那些對(duì)集合論和模型論感興趣的讀者閱讀、參考。

作者簡(jiǎn)介

　　姚從軍（1971- ），男，湖北隨州人。南開(kāi)大學(xué)哲學(xué)博士，中國(guó)社會(huì)科學(xué)院博士后。中國(guó)邏輯學(xué)會(huì)會(huì)員，中國(guó)語(yǔ)言邏輯專(zhuān)業(yè)委員會(huì)常務(wù)委員，湖南省邏輯學(xué)會(huì)副會(huì)長(zhǎng)，湖南省重大決策咨詢(xún)專(zhuān)家?guī)鞂?zhuān)家，湖南省青年骨干教師，永州市青聯(lián)委員和社科專(zhuān)家?，F(xiàn)為湖南科技學(xué)院副教授，兼任湘潭大學(xué)碩士研究生導(dǎo)師。姚從軍博士的主要研究領(lǐng)域?yàn)楝F(xiàn)代邏輯和語(yǔ)言邏輯，曾主持國(guó)家社科基金一般項(xiàng)目2項(xiàng)、中國(guó)博士后科學(xué)基金項(xiàng)目1項(xiàng)、湖南省社科基金項(xiàng)目3項(xiàng)和湖南省教學(xué)改革項(xiàng)目1項(xiàng)，參與國(guó)家社會(huì)科學(xué)基金重大招標(biāo)項(xiàng)目2項(xiàng)；發(fā)表論文50余篇，包括18篇CSSCI來(lái)源刊，4篇CSSCI擴(kuò)展版來(lái)源刊，被人大復(fù)印報(bào)刊《邏輯》轉(zhuǎn)載3篇。2012年獲中國(guó)博士后科學(xué)基金第52批面上資助；2011年獲永州市第四屆哲學(xué)社會(huì)科學(xué)優(yōu)秀成果三等獎(jiǎng)；2013年獲永州市第五屆哲學(xué)社會(huì)科學(xué)優(yōu)秀成果二等獎(jiǎng)；2014年獲永州市第十屆自然科學(xué)優(yōu)秀成果二等獎(jiǎng)。

圖書(shū)目錄

序
緒論
第一節(jié) 研究背景
第二節(jié) 研究意義
第三節(jié) 研究思路
第四節(jié) 主要工作
第一章互模擬理論研究概況
第一節(jié) 模態(tài)邏輯中互模擬理論的研究概況
一、互模擬產(chǎn)生的動(dòng)因
二、互模擬的誕生
三、互模擬的運(yùn)用研究
四、互模擬的純理論研究
第二節(jié) 集合論中互模擬理論的研究概況
一、互模擬的萌芽（1926-1982）
一、互模擬的產(chǎn)生及初步研究（1983-1987）
三、互模擬的深入研究（1988-2001）
四、互模擬的拓展研究（2002- ）
第一部分互模擬與模態(tài)邏輯
第二章模態(tài)邏輯中互模擬的基本理論
第一節(jié) 互模擬的定義
一、加標(biāo)轉(zhuǎn)換系統(tǒng)及相關(guān)概念
二、互模擬的定義
第二節(jié) 互模擬的基本性質(zhì)
第三節(jié) 互模擬證明方法
第四節(jié) 互模擬與模態(tài)邏輯
一、基礎(chǔ)知識(shí)
二、互模擬及其不變性
三、互模擬等價(jià)性
四、互模擬與模態(tài)等價(jià)性之關(guān)系
第三章互模擬與模型構(gòu)造
第一節(jié) 經(jīng)典的模態(tài)邏輯模型構(gòu)造方法
一、不相交的并
一、生成子模型
三、有界態(tài)射
第二節(jié) 兩種非經(jīng)典的模態(tài)模型構(gòu)造方法：凸起和壓延
一、凸起
二、壓延
第三節(jié) 模語(yǔ)言等價(jià)與?；ツM的商模型
一、∑．過(guò)濾商模型
一、模語(yǔ)言等價(jià)的商模型
三、模互模擬的商模型
四、模語(yǔ)言等價(jià)的商模型與?；ツM的商模型之間的關(guān)系
第四章雙模擬
第一節(jié) 雙模擬的定義和性質(zhì)
一、雙模擬的定義
一、模擬和雙模擬的一些基本性質(zhì)
第二節(jié) 雙模擬與模擬、互模擬之間的關(guān)系
第三節(jié) 雙模擬與模態(tài)邏輯
一、模型上的雙模擬定義
二、有關(guān)雙模擬的一些事實(shí)
第五章互模擬和有界互模擬
第一節(jié) 基本概念
第二節(jié) 集合
……
第二部分互模擬與非良基集合
第三部分模態(tài)邏輯、非良基集合與互模擬