[经济] 关于数理逻辑的教材有哪些是比较权威的？？？？ [推广有奖]

1关注
0粉丝

已卖：35份资源

讲师

31%

还不是VIP/贵宾

威望: 0 级
论坛币: 1584 个
通用积分: 0.2400
学术水平: 0 点
热心指数: 0 点
信用等级: 0 点
经验: 1576 点
帖子: 315
精华: 0
在线时间: 572 小时
注册时间: 2010-3-19
最后登录: 2022-9-14

楼主

yangjianhuobi 发表于 2010-4-22 12:52:21 |AI写论文

是否 +2 论坛币

k人参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

关于数理逻辑的教材有哪些是比较权威的？？？？大家帮忙介绍，谢谢了

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：数理逻辑教材权威数理逻辑

相关帖子

沙发

wpq113 发表于 2010-4-22 12:59:53

数理逻辑(第2版)/图灵计算机科学丛书
人民邮电出版社 / 2007-3-1 / （美）恩德滕　著，沈复兴，陈磊，孙运传　译 / 35 元
ISBN：9787115143112
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课都是可根据教学需要节选本书的内容：反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和习题。本书适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。