MARC状态：订购 文献类型：中文图书 浏览次数：16
- 题名/责任者:
- 模态逻辑教程/文学锋编著
- 出版发行项:
- 北京:科学出版社,2021.3
- ISBN及定价:
- 978-7-03-068293-2/CNY128.00
- 载体形态项:
- 14, 383页:图;24cm
- 丛编项:
- 高等学校逻辑学专业系列教材
- 个人责任者:
- 文学锋 编著
- 学科主题:
- 模态逻辑-高等学校-教材
- 中图法分类号:
- B815.1
- 书目附注:
- 有书目 (第350-356页) 和索引
- 提要文摘附注:
- 本书按照预备知识、基础、进阶、一阶模态逻辑共分为四个部分。第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二、三部分分别介绍了命题模态逻辑的形式语义、公理系统、表列系统和模态语义，以及模态逻辑的不变性理论、可定义性理论及有穷模型理论。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。
- 使用对象附注:
- 逻辑学、数学、哲学、语言学和计算机科学相关专业学生
全部MARC细节信息>>