掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
闖進數(shù)學(xué)世界――探秘歷史名題
-
>
中醫(yī)基礎(chǔ)理論
-
>
當(dāng)代中國政府與政治(新編21世紀(jì)公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫(yī)內(nèi)科學(xué)·全國中醫(yī)藥行業(yè)高等教育“十四五”規(guī)劃教材
模態(tài)邏輯 版權(quán)信息
- ISBN：9787310047604
- 條形碼：9787310047604 ; 978-7-310-04760-4
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
模態(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 練勻
參考答案
符號索引
**章 命題邏輯概述
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 練勻
參考答案
符號索引
展開全部
書友推薦
- >
龍榆生：詞曲概論/大家小書
- >
煙與鏡
- >
月亮虎
- >
姑媽的寶刀
- >
李白與唐代文化
- >
【精裝繪本】畫給孩子的中國神話
- >
二體千字文
- >
人文閱讀與收藏·良友文學(xué)叢書:一天的工作
本類暢銷
