国产第1页_91在线亚洲_中文字幕成人_99久久久久久_五月宗合网_久久久久国产一区二区三区四区

讀書月攻略拿走直接抄!
歡迎光臨中圖網(wǎng) 請 | 注冊

包郵 模態(tài)邏輯

作者:李娜編著
出版社:南開大學(xué)出版社出版時間:2015-02-01
開本: 32開 頁數(shù): 253
本類榜單:教材銷量榜
中 圖 價:¥13.0(6.5折) 定價  ¥20.0 登錄后可看到會員價
加入購物車 收藏
開年大促, 全場包郵
?新疆、西藏除外
本類五星書更多>
買過本商品的人還買了

模態(tài)邏輯 版權(quán)信息

模態(tài)邏輯 內(nèi)容簡介

  《南開哲學(xué)教材系列:模態(tài)邏輯》介紹以經(jīng)典的命題邏輯為基礎(chǔ)的模態(tài)命題邏輯。《南開哲學(xué)教材系列:模態(tài)邏輯》具有三個重要特征:簡明扼要;在單模態(tài)語言的基礎(chǔ)上,引入和使用多模態(tài)語言;介紹了一些模態(tài)邏輯中目前比較流行的概念和方法,如:加標(biāo)轉(zhuǎn)移結(jié)構(gòu)、互模擬等。

模態(tài)邏輯 目錄


**章 命題邏輯概述
1.1 命題語言
1.2 二值的語義學(xué)
1.3 證明論
1.4 完全性
1.5 練習(xí)

第二章 基本模態(tài)語言
2.1 引言
2.2 基本模態(tài)語言
2.3 模態(tài)公式K,D和T
2.4 模態(tài)公式4,5和B
2.5 模態(tài)邏輯K,D和T
2.6 模態(tài)邏輯S4,S5和B
2.7 練習(xí)

第三章 多模態(tài)語言
3.1 多模態(tài)語言
3.2 一些特殊的公式
3.3 代入
3.4 子公式
3.5 練習(xí)

第四章 加標(biāo)轉(zhuǎn)移結(jié)構(gòu)
4.1 加標(biāo)轉(zhuǎn)移結(jié)構(gòu)
4.2 四個例子
4.3 模態(tài)代數(shù)
4.4 一些對應(yīng)關(guān)系
4.5 菱形算子
4.6 練習(xí)

第五章 賦值和可滿足
5.1 賦值
5.2 基本可滿足關(guān)系
5.3 兩個例子和兩個結(jié)論
5.4 三種可滿足關(guān)系
5.5 模態(tài)代數(shù)的語義
5.6 練習(xí)

第六章 一些對應(yīng)結(jié)果
6.1 一些例子
6.2 一些匯合的性質(zhì)及例子
6.3 一些非匯合的性質(zhì)
6.4 練習(xí)

第七章 一般的匯合結(jié)果
7.1 一些約定
7.2 結(jié)構(gòu)的性質(zhì)
7.3 公式集
7.4 一般的匯合結(jié)果
7.5 練習(xí)

第八章 三種語義后承
8.1 三種語義后承
8.2 存在問題
8.3 練習(xí)

第九章 形式系統(tǒng)
9.1 形式系統(tǒng)
9.2 一些單模態(tài)系統(tǒng)
9.3 一些多模態(tài)系統(tǒng)
9.4 可靠性
9.5 練習(xí)

第十章 一般完全性結(jié)果
10.1 引言
10.2 一致集
10.3 極大一致集
10.4.典范結(jié)構(gòu)和典范賦值
10.5 評述
10.6 練習(xí)

第十一章 克里普克.完全性
11.1 克里普克.完全性
11.2 一些典范系統(tǒng)
11.3 匯合誘導(dǎo)的完全性
11.4 練習(xí)

第十二章 互模擬
12.1 態(tài)射
12.2 Z-字形態(tài)射
12.3 互模擬
12.4 *大的互模擬
12.5 一個匹配層
12.6 一類例子
12.7 分層的語義等價性
12.8 練習(xí)

第十三章 過濾
13.1 引言
13.2 具有典范性的基礎(chǔ)集
13.3 *左側(cè)和*右側(cè)的過濾
13.4 夾在*左側(cè)和*右側(cè)中間的過濾
13.5 分離結(jié)構(gòu)
13.6 練習(xí)

第十四章 有窮模型性質(zhì)
14.1 有窮模型性質(zhì)(fmp)的定義
14.2 經(jīng)典系統(tǒng)的一個特征
14.3 基本時間系統(tǒng)具有fmp
14.4 練習(xí)

第十五章 一個非典范的形式系統(tǒng)
15.1 形式系統(tǒng)SLL
15.2 SLL的特征
15.3 一個過濾結(jié)構(gòu)
15.4 完全性結(jié)果
15.5 練習(xí)

第十六章 一個不具有fmp的典范系統(tǒng)
16.1 一個標(biāo)準(zhǔn)系統(tǒng)
16.2 系統(tǒng)的特征性
16.3 典范性
16.4 有窮模型性
16.5 練勻

參考答案
符號索引
展開全部
商品評論(0條)
暫無評論……
書友推薦
編輯推薦
返回頂部
中圖網(wǎng)
在線客服
主站蜘蛛池模板: 亚洲av无码国产精品色午夜字幕 | 欧美大黄大色一级毛片 | 少妇富婆高级按摩出水高潮 | 国产人妻人伦精品1国产 | 97精品超碰一区二区三区 | 黄色毛片一级 | 欧美精品无码一区二区三区 | 蜜月aⅴ免费一区二区三区 免费 高清 日本1在线观看 | 在线视频亚洲欧美 | 免费看午夜福利在线观看 | 国产精品亚洲色婷婷99久久精品 | 亚洲国产成人91精品 | 日本黄色激情 | 欧美老妇牲交videos | 四虎免费久久影院 | 国产成人看片免费视频观看 | 色翁荡息又大又硬又粗视频 | 午夜家庭影院 | 99热这里都是国产精品 | 亚洲一区二区三区 无码 | 精品国产这么小也不放过 | 一级黄色片免费看 | 法国白嫩大屁股xxxx | 特黄aaaaaaaaa真人毛片 | 国产精品永久在线 | 国模欢欢炮交啪啪150 | 欧美a级成人毛片免费视频 欧美a级成人网站免费 | 欧美日韩色图 | 日韩欧美一区二区三区在线 | 亚洲视频免费在线 | 一级爱爱片一级毛片-一毛 一级爱一级做a性视频 | 韩国欧美一级毛片 | 久久久久久久一精品 | 国产日韩精品一区二区在线观看 | 国产女人高潮视频在线观看 | 国产精品久久久久久久福利院 | 亚洲第一免费网站 | 最近2019免费中文第一页 | 中文字幕一区二区三区有限公司 | 国产亚洲欧美另类专区 | 精品国产乱码一区二区三区 |