查询
最新公告

《集合、逻辑与数学对于计算机科学》,第二版

English | PDF,EPUB | 2012 | 302 Pages | ISBN : 1447124995 | 3.22 MB

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic and their use for representation and proof. Features: teaches finite math as a language for thinking, as much as knowledge and skills to be acquired; uses an intuitive approach with a focus on examples for all general concepts; brings out the interplay between the qualitative and the quantitative in all areas covered, particularly in the treatment of recursion and induction; balances carefully the abstract and concrete, principles and proofs, specific facts and general perspectives; includes highlight boxes that raise common queries and clear confusions; provides numerous exercises, with selected solutions.


这本易于跟随的教材介绍了本科生学习计算所需掌握的数学语言、知识和解决问题的技能。其中部分是定性的,涉及诸如集合、关系、函数和递归/归纳等概念;但也有定量的部分,如计数原则和有限概率的原则。这些内容交织在一起,并且在所有领域中都强调了逻辑的基本观念及其用于表示和证明的方式。特点:不仅教学生态语言来进行思考,也教给他们需要掌握的知识和技能;采用以实例为中心的方法,重点放在所有一般概念上;在处理递归和归纳时特别强调定性和定量之间的联系;平衡抽象与具体、原理与证明、具体事实与全局视角;提出现有疑问并澄清疑惑的亮点提示;提供大量练习题,并附有部分答案。
Download from free file storage


本站不对文件进行储存,仅提供文件链接,请自行下载,本站不对文件内容负责,请自行判断文件是否安全,如发现文件有侵权行为,请联系管理员删除。