同类推荐
-
-
基本演绎法
-
¥48.00
-
-
逻辑新引:怎样判别是非
-
¥52.00
-
-
印度逻辑和原子论:对正理派和胜论派的一种解说
-
¥68.00
-
-
逻辑新引:怎样判别是非
-
¥78.00
-
-
新归纳之谜:绿蓝悖论研究
-
¥48.00
-
-
逻辑应试技巧通关教程
-
¥51.80
-
-
逻辑哲学论
-
¥56.00
-
-
不显现性:现象学的空间:der Raum der Ph…
-
¥120.00
-
-
早点提升孩子的逻辑力
-
¥198.00
-
-
大白话讲透逻辑学
-
¥52.00
|
|
图书信息
|
|
|
|
模态逻辑教程
|
| ISBN： | 9787030682932 |
定价： | ￥128.00 |
| 作者： | 文学锋编著 |
出版社： | 科学出版社 |
| 出版时间： | 2021年03月 |
开本： | 24cm |
| 页数： | 14,383页 |
装祯： | 平装 |
中图法： | B815.1 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
202
|
|
2026-06-12
|
图书简介 | | 本书以模态逻辑的基本概念、模型论、模态语言的表达力、完全性定理的证明为框架，详细介绍了模态逻辑的基本概念和基本技术。本书分为四个部分，第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二、三部分分别介绍了命题模态逻辑的形式语义、公理系统、表列系统和模态语义，以及模态逻辑的不变性理论、可定义性理论及有穷模型理论。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。相比目前其他的模态逻辑教材，增加了直观说明的内容，减少了部分高阶内容，难易程度适中。 |
|