计算机系学生的数学书架 除了物理,和数学血缘最亲近的大概就属计算机科学了。 编辑导语:除了物理,和数学血缘最亲近的大概就属计算机科学了。 计数组合学(卷2) 斯坦利 本书介绍了生成函数组合、树、代数生成函数、D有限生成函数、非交换生成函数和对称函数。关于对称函数的论述只适用于研究生的入门课程并着重于组合学方面,尤其是Robinson-Sch... 计数组合学 斯坦利 本书重点介绍生成函数的理论和应用,生成函数是计数组合学的基本工具。本书分四章介绍了计数、筛法、偏序集以及有理生成函数,并欢未包含在正文中的许多数学领域提供了入门知识。书中所选择... 递归可枚举集和图灵度 索尔 《递归可枚集合和图灵度:可计算函数与可计算生成集研究(影印版)》主要内容包括:AnInformalDescriptionFormalDefinitionsofComputabl... The Principles of Mathematics BertrandRussell Hisideashavehadaprofoundinfluenceontwentieth-centuryworkonlogicandthefoundationsofmathem... 哥德尔 [美]王浩 分为上下两篇,上篇考察了歌德尔的事迹,从献身基本理论的角度来讲述歌德尔的生平;下篇介绍了科学与技术学中的概念、歌德尔与哲学、“分说”等内容。 集论与逻辑 沈恩绍 本书由基础集论与经典(一阶)逻辑两部分内容组成,为高标准的计算机科学专业(本科)教材。集论部分的范围与常规教材大体相似,区别在于相关内容的展开方式与深度。这里采用的“非标准”模... 数理逻辑 [美]HerbertB.Enderton 本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以... 离散数学及其应用(英文版·第5版) [美]KennethH·Rosen 本书第4版是全球500多所大学的指之一教材,获得了极大的成功。中文版也已被国内大学广泛有用为教材。第5版在前四版的基础上做了大量的改进,使其成为更有效的教学工具。 本书可作为... 图论导引 [美]DouglasB.West 图论在计算科学、社会科学和自然科学等各个领域都有广泛应用。本书是本科生或研究生一学期或两学期的图论课程教材。全书力求保持按证明的难度和算法的复杂性循序渐进的风格,使学生能够深入... Basic Category Theory for Computer Scientists BenjaminC.Pierce Categorytheoryisabranchofpuremathematicsthatisbecominganincreasinglyimportanttoolintheor... 数论导引 [英]G·H·Hardy 本书是一本经典的数论名著,书的内容取材于作者在牛津大学、剑桥大学等大学授课的讲义。书中从各个不同角度对数论进行了阐述,包括素数、无理数、同余、费马定理、同余式、连分数、不定式、... 近世代数概论 GarrettBirkhoff 《近世代数概论(英文版.第5版)》出自近世代数领域的两位科学巨匠之手,是一本经典的教材。全书共分为15章,内容包括:整数、多项式、实数、复数、矩阵代数、线性群、行列式和标准型、... 具体数学(英文版第2版) [美]RonaldL.Graham ThisbookintroducesthemathematicsthatsupportsadvancedcomputerProgrammingandtheanalysisofa... 来自圣经的证明 M.Aigner 作为一门历史悠久的学问,数学有她自身的文化和美学,就像文学和艺术一样。一方面,数学家们在努力开拓新领域、解决老问题;另一方面他们也在不断地从不同的角度反复学习、理解和欣赏前辈们... 概率论及其应用 [美]威廉·费勒(WilliamFeller) 《概率论及其应用》(第2卷)(第2版)是威廉·费勒的著作《概率论及其应用》第1卷的续篇。曾经影响了包括中国在内的世界各国几代概率论及其相关领域的学生和研究者。即使用今天的标准来... 概率论及其应用(第1卷·第3版) [美]威廉·费勒(WilliamFeller) 《概率论及其应用》(第3版)涉及面极广,不仅讨论了概率论在离散空间中的诸多课题,也涉及了概率论在物理学、化学、生物学(特别是遗传学)、博弈论及经济学等方面的应用,主要内容有:样... 应用逻辑 尼罗德 这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书,书中强调了演译作为计算机的一种形的概念。虽然本书覆盖了所有传统的逻辑主题(语法,语义,完备性和紧致性),但是书中大部... 面向计算机科学的数理逻辑系统建模与推理 胡思 数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。本书适合作为高等院校计... 本期书单【计算机系学生的数学书架】内容,由书到网运营整理发布。 转载,请注明出处和相关链接:得书网 谢谢合作 互联网 数学