关于我们
书单推荐
新书推荐

模态逻辑教程

模态逻辑教程

定  价:128 元

丛书名:高等学校逻辑学专业系列教材/刘虎主编

        

  • 作者:文学锋
  • 出版时间:2021/3/1
  • ISBN:9787030682932
  • 出 版 社:科学出版社
  • 中图法分类:B815.1 
  • 页码:404
  • 纸张:
  • 版次:31
  • 开本:B5
9
7
6
8
8
7
2
0
9
3
3
0
2

读者对象:三、四年级哲学系、计算机系、数学系本科生。

本书按照预备知识、基础、进阶、一阶模态逻辑共分为四个部分。第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二、三部分分别介绍了命题模态逻辑的形式语义、公理系统、表列系统和模态语义,以及模态逻辑的不变性理论、可定义性理论及有穷模型理论。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。书中有大量的例子和练习,可供读者更好地理解相关知识。

更多科学出版社服务,请扫码获取。
 你还可能感兴趣
 我要评论
您的姓名   验证码: 图片看不清?点击重新得到验证码
留言内容