定 价:89 元 本教材已被 1 所学校申请过!
丛书名:高等学校逻辑学专业系列教材/刘虎主编
- 作者:赵希顺
- 出版时间:2021/11/1
- ISBN:9787030702258
- 出 版 社:科学出版社
适用读者:以高校哲学、逻辑学、计算机科学专业的学生为授课对象,亦可供社会读者自学。
- 中图法分类:O141
- 页码:272
- 纸张:
- 版次:31
- 开本:B5
- 字数:(单位:千字)
本书首先简要介绍了数理逻辑的发展、形式系统及一些预备知识,然后介绍了集合论,详细讲解了命题演算、谓词演算、可计算性理论和哥德尔不完全性定理,最后介绍了模型论的基础知识和方法。全书重点突出,论证详细,各部分内容配有典型的例子和习题,以便读者更好地理解、掌握相关知识。
更多科学出版社服务,请扫码获取。
ftp://124.17.26.93/curved-toc/9787030702258-curvedToc.pdf