| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
封面仅供参考
模态逻辑教程 |
|
|
题名/责任者:
|
模态逻辑教程 [ 专著] / 文学锋编著 |
|
ISBN:
|
978-7-03-068293-2 价格： CNY128.00 |
|
语种:
|
汉语 |
|
载体形态:
|
14,383页 ; 24cm |
|
出版发行:
|
北京 : 科学出版社, 2021 |
|
内容提要:
|
本书按照预备知识、基础、进阶、一阶模态逻辑共分为四个部分。第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二、三部分分别介绍了命题模态逻辑的形式语义、公理系统、表列系统和模态语义，以及模态逻辑的不变性理论、可定义性理论及有穷模型理论。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。 |
|
主题词:
|
模态逻辑 高等学校 教材 |
|
中图分类法
:
|
B815.1 版次： 5 |
|
主要责任者:
|
文学锋 编著 |
|
附注:
|
高等学校逻辑学专业系列教材/刘虎主编 |
|
标签:
|
|
|
相关主题:
|
|
|
相关资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
预约：可预约已外借图书，在馆图书不可预约
>>
HEA| |01169nam0 2200229 450 001| |012022014119 010| |▼a978-7-03-068293-2▼dCNY128.00 049| |▼aA100000NLC▼bUCS01010453142▼c- | |011154073▼dNLC01 100| |▼a20210511d2021 em y0chiy50 ea 101|0 |▼achi 102| |▼aCN▼b110000 105| |▼ay z 001yy 106| |▼ar 200|1 |▼a模态逻辑教程▼9mo tai luo ji jiao c- | |heng▼b专著▼f文学锋编著 210| |▼a北京▼c科学出版社▼d2021 215| |▼a14,383页▼d24cm 300| |▼a高等学校逻辑学专业系列教材/刘虎主编 330| |▼a本书按照预备知识、基础、进阶、一阶模态逻辑共分为四个部分- | |。第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。- | |第二、三部分分别介绍了命题模态逻辑的形式语义、公理系统、表列- | |系统和模态语义，以及模态逻辑的不变性理论、可定义性理论及有穷- | |模型理论。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。- 606|0 |▼a模态逻辑▼x高等学校▼j教材 690| |▼aB815.1▼v5 701| 0|▼a文学锋▼9wen xue feng▼f(1977-)▼4编著 801| 0|▼aCN▼bzjlib▼c20220211