书目详细信息
： 模态逻辑教程
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-03-068293-2:CNY128.00 |
|---|---|
| ISBN/价格： | 978-7-03-068293-2:CNY128.00 |
| 题名： | 模态逻辑教程 |
| 作品语种： | chi |
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 出版国别： | CN 110000 |
| 题名责任者项： | 模态逻辑教程/.文学锋编著 |
| 题名责任者项： | 模态逻辑教程/.文学锋编著 |
| 出版发行项： | 北京:,科学出版社:,2021 |
| 出版发行项： | 北京:,科学出版社:,2021 |
| 载体形态项： | 14,383页:;+24cm |
| 载体形态项： | 14,383页:;+24cm |
| 一般附注： | 高等学校逻辑学专业系列教材/刘虎主编 |
| 一般附注： | 高等学校逻辑学专业系列教材/刘虎主编 |
| 提要文摘： | 本书按照预备知识、基础、进阶、一阶模态逻辑共分为四个部分。第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二、三部分分别介绍了命题模态逻辑的形式语义、公理系统、表列系统和模态语义，以及模态逻辑的不变性理论、可定义性理论及有穷模型理论。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。 |
| 提要文摘： | 本书按照预备知识、基础、进阶、一阶模态逻辑共分为四个部分。第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二、三部分分别介绍了命题模态逻辑的形式语义、公理系统、表列系统和模态语义，以及模态逻辑的不变性理论、可定义性理论及有穷模型理论。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。 |
| 题名主题： | 模态逻辑 高等学校 教材 |
| 题名主题： | 模态逻辑 高等学校 教材 |
| 中图分类： | B815.1 |
| 中图分类： | B815.1 |
| 个人名称等同： | 文学锋 编著 |
| 个人名称等同： | 文学锋 编著 |
| 记录来源： | CN BKBB 20230311 |
| 记录来源： | CN BKBB 20230311 |