A Mathematical Introduction to Logic, Second Edition , offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets. * Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. * Reduced mathematical rigour to fit the needs of undergraduate students
逻辑学数学导论》第二版在主题覆盖方面提供了更大的灵活性,允许在课程中选择如何使用该教科书。作者使这一版更容易理解,以更好地满足当今数学和哲学本科生的需要。本书是为以前没有学习过逻辑学,但对数学推理有一定经验的读者准备的。提出了关于计算机科学问题的材料,如计算复杂性和数据库查询,并增加了对集合等介绍性材料的覆盖。* 增加了文本的灵活性,允许教师在课程中更多地选择如何使用这本教科书。* 减少了数学的严谨性,以适应本科生的需要
相关文库
计算机行业:AIGC行业应用畅想
3022
类型:行研
上传时间:2023-04
标签:计算机、AIGC)
语言:中文
金额:5积分
零信任SaaS,美国经验与中国特色-20200802-42页
2737
类型:行研
上传时间:2020-08
标签:计算机、saas)
语言:中文
金额:免费
计算机行业安全服务:网络安全行业的制高点-20210221-64页
2485
类型:行研
上传时间:2021-02
标签:计算机、网络安全)
语言:中文
金额:免费
2021年IEEE高新能计算论文合集
2442
类型:学习教育
上传时间:2021-05
标签:高性能计算、学术、计算机)
语言:中文
金额:30积分
计算机行业专题研究:MES深度报告下篇,7大海外巨头,6家中国领军全梳理-20201015-55页
2360
类型:行研
上传时间:2020-10
标签:计算机、MES)
语言:中文
金额:免费
计算机行业:信创产业发展研究-20220510-84页
1803
类型:行研
上传时间:2022-05
标签:计算机、信创)
语言:中文
金额:免费
第47次中国互联网络发展状况统计报告
1780
类型:行研
上传时间:2021-02
标签:互联网、网络、统计)
语言:中文
金额:5积分
计算机行业对于低代码工具发展的思考:AI降低软件使用门槛,交付自动化提升工具价值
1740
类型:行研
上传时间:2023-06
标签:计算机、AI、低代码)
语言:中文
金额:5积分
计算机行业:工业软件,研究框架-20200618-132页
1540
类型:行研
上传时间:2020-07
标签:计算机、工业软件、券商报告)
语言:中文
金额:免费
电子书-Linux是如何工作的How Linux Works(英)
1424
类型:电子书
上传时间:2022-04
标签:计算机、操作系统、内部结构)
语言:英文
金额:5积分
积分充值
30积分
6.00元
90积分
18.00元
150+8积分
30.00元
340+20积分
68.00元
640+50积分
128.00元
990+70积分
198.00元
1640+140积分
328.00元
微信支付
余额支付
积分充值
应付金额:
0 元
请登录,再发表你的看法
登录/注册