具體描述
本書是一部以廣義模態邏輯為研究對象的理論專著，內容涉及真理模態邏輯、認知邏輯、規範邏輯及其應用、時間邏輯、命令邏輯、模態邏輯與自然語言、模糊邏輯與理學、工學等，適閤廣義模態邏輯理論研究者。
著者簡介
圖書目錄
緒論
0.1 什麼是廣義模態邏輯
0.2 古典命題邏輯係統P
0.3 古典謂詞邏輯係統Q
0.4 集閤論的初步知識
0.5 符號與解釋
第1章 真理模態邏輯
1.1 模態邏輯概述
1.2 模態命題邏輯
1.3 可能世界語義學
1.4 模態代數語義學
1.5 模態謂詞邏輯
附錄
第2章 認知邏輯
2.1 認知邏輯概述
2.1 知道邏輯係統
2.3 相信邏輯係統
2.4 斷定邏輯係統
2.5 問題邏輯係統
附錄
第3章 規範邏輯及其應用
3.1 規範邏輯概述
3.2 規範邏輯係統
3.3 規範邏輯的應用
附錄
第4章 時間邏輯
4.1 時間邏輯概述
4.2 基礎時間邏輯
4.3 極小時間邏輯
4.4 極小時間邏輯的擴張
附錄
第5章 命令邏輯
5.1 命令邏輯概述
5.2 命令邏輯係統
5.3 命令邏輯的語義解釋
5.4 命令邏輯係統Imp的有效性、完全性
附錄
第6章 模態邏輯與自然語言
第7章 模態邏輯與計算機科學
第8章 模糊邏輯與理學、工學
第9章 模態邏輯與教育科學
第10章 新型計算語言
附錄
· · · · · · (收起)
讀後感
評分
評分
評分
評分
用戶評價
緒論 0.1 什麽是廣義模態邏輯 0.2 古典命題邏輯係統P 0.3 古典謂詞邏輯係統Q 0.4 集閤論的初步知識 0.5 符號與解釋 第1章 真理模態邏輯 1.1 模態邏輯概述 1.2 模態命題邏輯 1.3 可能世界語義學 1.4 模態代數語義學 1.5 模態謂詞邏輯 附錄 第2章 認知邏輯 2.1 認知邏輯概述 2.1 知道邏輯係統 2.3 相信邏輯係統 2.4 斷定邏輯係統 2.5 問題邏輯係統 附錄 第3章 規範邏輯及其應用 3.1 規範邏輯概述 3.2 規範邏輯係統 3.3 規範邏輯的應用 附錄 第4章 時間邏輯 4.1 時間邏輯概述 4.2 基礎時間邏輯 4.3 極小時間邏輯 4.4 極小時間邏輯的擴張 附錄 第5章
评分緒論 0.1 什麽是廣義模態邏輯 0.2 古典命題邏輯係統P 0.3 古典謂詞邏輯係統Q 0.4 集閤論的初步知識 0.5 符號與解釋 第1章 真理模態邏輯 1.1 模態邏輯概述 1.2 模態命題邏輯 1.3 可能世界語義學 1.4 模態代數語義學 1.5 模態謂詞邏輯 附錄 第2章 認知邏輯 2.1 認知邏輯概述 2.1 知道邏輯係統 2.3 相信邏輯係統 2.4 斷定邏輯係統 2.5 問題邏輯係統 附錄 第3章 規範邏輯及其應用 3.1 規範邏輯概述 3.2 規範邏輯係統 3.3 規範邏輯的應用 附錄 第4章 時間邏輯 4.1 時間邏輯概述 4.2 基礎時間邏輯 4.3 極小時間邏輯 4.4 極小時間邏輯的擴張 附錄 第5章
评分緒論 0.1 什麽是廣義模態邏輯 0.2 古典命題邏輯係統P 0.3 古典謂詞邏輯係統Q 0.4 集閤論的初步知識 0.5 符號與解釋 第1章 真理模態邏輯 1.1 模態邏輯概述 1.2 模態命題邏輯 1.3 可能世界語義學 1.4 模態代數語義學 1.5 模態謂詞邏輯 附錄 第2章 認知邏輯 2.1 認知邏輯概述 2.1 知道邏輯係統 2.3 相信邏輯係統 2.4 斷定邏輯係統 2.5 問題邏輯係統 附錄 第3章 規範邏輯及其應用 3.1 規範邏輯概述 3.2 規範邏輯係統 3.3 規範邏輯的應用 附錄 第4章 時間邏輯 4.1 時間邏輯概述 4.2 基礎時間邏輯 4.3 極小時間邏輯 4.4 極小時間邏輯的擴張 附錄 第5章
评分緒論 0.1 什麽是廣義模態邏輯 0.2 古典命題邏輯係統P 0.3 古典謂詞邏輯係統Q 0.4 集閤論的初步知識 0.5 符號與解釋 第1章 真理模態邏輯 1.1 模態邏輯概述 1.2 模態命題邏輯 1.3 可能世界語義學 1.4 模態代數語義學 1.5 模態謂詞邏輯 附錄 第2章 認知邏輯 2.1 認知邏輯概述 2.1 知道邏輯係統 2.3 相信邏輯係統 2.4 斷定邏輯係統 2.5 問題邏輯係統 附錄 第3章 規範邏輯及其應用 3.1 規範邏輯概述 3.2 規範邏輯係統 3.3 規範邏輯的應用 附錄 第4章 時間邏輯 4.1 時間邏輯概述 4.2 基礎時間邏輯 4.3 極小時間邏輯 4.4 極小時間邏輯的擴張 附錄 第5章
评分緒論 0.1 什麽是廣義模態邏輯 0.2 古典命題邏輯係統P 0.3 古典謂詞邏輯係統Q 0.4 集閤論的初步知識 0.5 符號與解釋 第1章 真理模態邏輯 1.1 模態邏輯概述 1.2 模態命題邏輯 1.3 可能世界語義學 1.4 模態代數語義學 1.5 模態謂詞邏輯 附錄 第2章 認知邏輯 2.1 認知邏輯概述 2.1 知道邏輯係統 2.3 相信邏輯係統 2.4 斷定邏輯係統 2.5 問題邏輯係統 附錄 第3章 規範邏輯及其應用 3.1 規範邏輯概述 3.2 規範邏輯係統 3.3 規範邏輯的應用 附錄 第4章 時間邏輯 4.1 時間邏輯概述 4.2 基礎時間邏輯 4.3 極小時間邏輯 4.4 極小時間邏輯的擴張 附錄 第5章
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有