|
关于我们
 书单推荐 新书推荐 |
简明数理逻辑 
定 价：89 元 丛书名：高等学校逻辑学专业系列教材/刘虎主编
9 7 7 8 0 7 2 0 2 3 5 0 8 读者对象:以高校哲学、逻辑学、计算机科学专业的学生为授课对象，亦可供社会读者自学。
本书首先简要介绍了数理逻辑的发展、形式系统及一些预备知识，然后介绍了集合论，详细讲解了命题演算、谓词演算、可计算性理论和哥德尔不完全性定理，最后介绍了模型论的基础知识和方法。全书重点突出，论证详细，各部分内容配有典型的例子和习题，以便读者更好地理解、掌握相关知识。
更多科学出版社服务，请扫码获取。 
你还可能感兴趣
我要评论
|
