关于我们
新书资讯
新书推荐

简明数理逻辑

简明数理逻辑

定　　价：89 元

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

    

  • 作者：赵希顺
  • 出版时间：2021/11/1
  • ISBN：9787030702258
  • 出 版 社：科学出版社
  • 中图法分类：O141 
  • 页码：272
  • 纸张：
  • 版次：31
  • 开本：B5
  • 商品库位：
9
7
7
8
0
7
2
0
2
3
5
0
8

读者对象:以高校哲学、逻辑学、计算机科学专业的学生为授课对象，亦可供社会读者自学。

本书首先简要介绍了数理逻辑的发展、形式系统及一些预备知识，然后介绍了集合论，详细讲解了命题演算、谓词演算、可计算性理论和哥德尔不完全性定理，最后介绍了模型论的基础知识和方法。全书重点突出，论证详细，各部分内容配有典型的例子和习题，以便读者更好地理解、掌握相关知识。

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