同類熱銷排行榜

模態邏輯(第2版)/南開大學十四五規劃精品教材叢書

作者：編者:李娜|責編:劉兵
出版社：南開大學
ISBN：9787310067176

出版日期：2025/03/01
裝幀：平裝
頁數：234

人民幣：RMB 56 元售價：元

內容大鋼

模態邏輯是非經典邏輯中發展最成熟、成果最豐富的一個分支。
《模態邏輯（第二版）》是在2015年由南開大學出版社出版的《模態邏輯》的基礎上修訂完成的。本教材在單模態語言的基礎上，引入和使用了多模態語言，介紹了一些模態邏輯中目前比較新的、流行的概念和方法，如：加標轉移結構、互模擬等，有助於學生了解模態邏輯發展的前沿、學習模態邏輯的最新知識、掌握模態邏輯最新的概念和方法。

作者介紹

編者:李娜|責編:劉兵

第一章  命題邏輯概述
  1.1  命題語言
  1.2  二值語義學
  1.3  證明論
  1.4  完全性
  1.5  練習
第二章  基本模態語言
  2.1  引言
  2.2  基本模態語言
  2.3  模態公式K，D和T
  2.4  模態公式4，5和B
  2.5  模態邏輯K，D和T
  2.6  模態邏輯S4，S5和B
  2.7  練習
第三章  多模態語言
  3.1  多模態語言
  3.2  一些特殊的模態公式
  3.3  代入
  3.4  子公式
  3.5  練習
第四章  加標轉移結構
  4.1  加標轉移結構
  4.2  三個例子
  4.3  模態代數
  4.4  一些對應關係
  4.5  菱形運算元
  4.6  練習
第五章  賦值和可滿足
  5.1  賦值
  5.2  基本可滿足關係
  5.3  兩個例子和兩個結論
  5.4  三種可滿足關係
  5.5  模態代數的語義
  5.6  練習
第六章  一些對應結果
  6.1  一些例子
  6.2  一些匯合的性質及例子
  6.3  一些非匯合的性質
  6.4  練習
第七章  一般的匯合結果
  7.1  一些約定
  7.2  結構的性質
  7.3  公式集
  7.4  一般的匯合結果
  7.5  練習
第八章  三種語義后承
  8.1  三種語義后承
  8.2  存在的問題
  8.3  練習
第九章  形式系統

  9.1  形式系統
  9.2  一些單模態系統
  9.3  一些多模態系統
  9.4  可靠性
  9.5  練習
第十章  一般完全性結果
  10.1  引言
  10.2  一致集
  10.3  極大一致集
  10.4  典範結構和典範賦值
  10.5  評述
  10.6  練習
第十一章  克里普克 - 完全性
  11.1  克里普克 - 完全性
  11.2  一些典範系統
  11.3  匯合誘導的完全性
  11.4  練習
第十二章  互模擬
  12.1  態射
  12.2  Z - 字形態射
  12.3  互模擬
  12.4  最大的互模擬
  12.5  一個匹配層
  12.6  一類例子
  12.7  分層語義的等價性
  12.8  練習
第十三章  過濾
  13.1  引言
  13.2  具有典範性的基礎集
  13.3  最左側和最右側的過濾
  13.4  夾在最左側和最右側中間的過濾
  13.5  分離結構
  13.6  練習
第十四章  有窮模型性質
  14.1  有窮模型性質(fmp)的定義
  14.2  經典系統的一個特徵
  14.3  基本時間系統具有fmp
  14.4  練習
第十五章  一個非典範的形式系統
  15.1  形式系統SLL
  15.2  SLL的特徵
  15.3  一個過濾結構
  15.4  完全性結果
  15.5  練習
第十六章  一個不具有fmp的典範系統
  16.1  一個標準系統
  16.2  系統的特徵性
  16.3  典範性
  16.4  有窮模型性
  16.5  練習

參考答案
符號索引

Δ訂單支付
付款方式
運費計算方式

Δ關於我們
關於美商天龍
聯絡我們

首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032

同類熱銷排行榜

最近瀏覽的商品

模態邏輯(第2版)/南開大學十四五規劃精品教材叢書