This course is offered to undergraduates and is an elementary discrete mathematics course oriented towards applications in computer science and engineering. Topics covered include: formal logic notation, induction, sets and relations, permutations and combinations, counting principles, and discrete probability.

图论导引，ISBN：9787115161536，作者：（美）沙特朗、张萍

本书是一本随机过程的优秀教材，不仅以浅显易懂的语言阐述基本概念和方法，而且通过一些非常基础的应用实例，让读者了解如何应用随机过程理论解决实际问题。主要内容包括有限马尔可夫链、可数马尔可夫链、连续时间马尔可夫链、最优停时、鞅、可逆马尔可夫链、布朗运动和随机积分等. 本书侧重数学思想的分析而不是具体细节的理论证明，所需的数学基础只是本科程度的概率论和一些线性代数知识，而不需要读者有测度论的基础，适合作为高等院校数学及相关专业高年级本科生和研究生教材，也适合作为相关领域研究人员的参考书.

机器学习是计算机科学与人工智能的重要分支领域. 本书作为该领域的入门教材，在内容上尽可能涵盖机器学习基础知识的各方面。 为了使尽可能多的读者通过本书对机器学习有所了解, 作者试图尽可能少地使用数学知识. 然而, 少量的概率、统计、代数、优化、逻辑知识似乎不可避免. 因此, 本书更适合大学三年级以上的理工科本科生和研究生, 以及具有类似背景的对机器学 习感兴趣的人士. 为方便读者, 本书附录给出了一些相关数学基础知识简介. 全书共16 章，大致分为3 个部分：第1 部分（第1～3 章）介绍机器学习的基础知识；第2 部分（第4～10 章）讨论一些经典而常用的机器学习方法（决策树、神经网络、支持向量机、贝叶斯分类器、集成学习、聚类、降维与度量学习）；第3 部分（第11～16 章）为进阶知识，内容涉及特征选择与稀疏学习、计算学习理论、半监督学习、概率图模型、规则学习以及强化学习等.前3章之外的后续各章均相对独立, 读者可根据自己的兴趣和时间情况选择使用. 根据课时情况, 一个学期的本科生课程可考虑讲授前9章或前10章; 研究生课程则不妨使用全书. 书中除第1章外, 每章都给出了十道习题. 有的习题是帮助读者巩固本章学习, 有的是为了引导读者扩展相关知识. 一学期的一般课程可使用这些习题, 再辅以两到三个针对具体数据集的大作业. 带星号的习题则有相当难度, 有些并无现成答案, 谨供富有进取心的读者启发思考. 本书可作为高等院校计算机、自动化及相关专业的本科生或研究生教材，也可供对机器学习感兴趣的研究人员和工程技术人员阅读参考。

本书是计算理论领域的经典著作，被国外多所大学选用为教材。本书以注重思路、深入引导为特色，系统地介绍计算理论的三大主要内容：自动机与语言、可计算性理论和计算复杂性理论。同时，对可计算性和计算复杂性理论中的某些高级内容作了重点讲解。全书通过启发性的问题、精彩的结果和待解决问题来引导读者挑战此领域中的高层次问题。新版的一大亮点是增加了更多习题、教辅资料和部分习题解答，更加有利于教学。 全书叙述由浅入深、详略得当，重点突出，不拘泥于技术细节。可作为计算机专业高年级本科生和研究生的教材，也可作为相关专业教师和研究人员的参考书。

本书是介绍离散数学理论和方法的经典教材，已经成为采用率最高的离散数学教材，仅在美国就被600多所高校用作教材，获得了极大的成功。中文版也已被国内大学广泛采用为教材。第6版在前五版的基础上做了大量的改进，使其成为更有效的教学工具。. 本书可作为1至2个学期的离散数学课入门教材，适用于数学，计算机科学。计算机工程．信息技术等专业的学生。 第6版的特点 •易入门：实践证明本书对初学者来说易读易懂。 •灵活：本教材为灵活使用做了精心设计，各章对其前面内容的依赖降到最小。 •写作风格：直接和实用。 •数学严密性和准确性：书中所有定义和定理的陈述都十分详细，以确保语言的准确性和数学所需的严密性。 •实例：书中有750多个实例，用于阐明概念，联系不同内容，并引入各种应用。 •应用：书中叙述的应用展示了离散数学在解决现实问题中的使用价值，涉及的应用领域包括计算机科学。数据网络、心理学，化学，工程。语言学、生物学、商业和互联网等。.. •算法：离散数学的结论常常要用算法来表示，因此本书每一章都介绍了一些关键算法。这些算法既可以用文字叙述，也可以用更易于理解的结构化伪码来叙述。附录a．3对伪码作了描述和规范。本书对所有算法的计算复杂性也都给出了初步的分析。 •历史资料：本书对许多主题的背景作了简要介绍，并以脚注的形式给出了65位对离散数学做出过重要贡献的数学家和计算机科学家的简短传记。 •关键术语和结论：每一章后面都列出了本章的关键术语和结论。 •丰富的练习、复习题和补充练习：新版增加了400多道练习，使全书的总练习数达到3800多道。本书不仅提供了足够多的简单习题用于练习基本技巧，还提供了大量的中等难度的练习和许多有挑战性的练习，以满足不同层次学生的学习需求。同时，每章最后都有一组复习题和一组丰富多样的补充练习。 •计算机课题：每一章后面还有一组计算机课题，大约有150个这样的题目，把学生已经学到的计算和离散数学的内容结合在一起。 •计算和研究：每一章的结论部分都有一组计算和研究性问题，为学生提供了通过计算发现新事实或新思想的机会。 •写作题目：每一章后面都有一组应该书面完成的题目。要完成这类题目，学生需要查阅参考文献，把数学概念和书面写作的过程结合在一起，以帮助学生研究和思考正文中没有深入探讨的思想，便于其未来的学习和研究。

《信息技术和电气工程学科国际知名教材中译本系列:凸优化》内容非常丰富。理论部分由4章构成，不仅涵盖了凸优化的所有基本概念和主要结果，还详细介绍了几类基本的凸优化问题以及将特殊的优化问题表述为凸优化问题的变换方法，这些内容对灵活运用凸优化知识解决实际问题非常有用。应用部分由3章构成，分别介绍凸优化在解决逼近与拟合、统计估计和几何关系分析这三类实际问题中的应用。算法部分也由3章构成，依次介绍求解无约束凸优化模型、等式约束凸优化模型以及包含不等式约束的凸优化模型的经典数值方法，以及如何利用凸优化理论分析这些方法的收敛性质。通过阅读《信息技术和电气工程学科国际知名教材中译本系列:凸优化》，能够对凸优化理论和方法建立完整的认识。

P/NP 问题是计算机科学乃至整个数学领域最重要的开放问题。本书从非技术角度介绍了什么是P/NP 问题、它丰富的历史，以及对于人机交互乃至更多问题的数学意义。在这本趣味十足的书中，作者首先追溯了P/NP 问题是如何产生的，然后给出了这个问题的许多实例，涉及经济学、物理学和生物学在内的多个学科。接下来探讨了涵盖P/NP 难题中所有难度等级的问题，从寻找游玩迪士尼乐园所有景点的最短路线，到地图填色问题，再到找出Facebook 上互为好友的一群人。本书深入探寻了计算能够做到什么、无法做到什么，描绘了尝试解决P/NP问题的益处和其中难以预想的挑战。 本书读来引人入胜，适合所有对计算和数学感兴趣的读者。

《概率与计算》详细地介绍了概率技术以及在概率算法与分析发展中使用过的范例。《概率与计算》分两部分，第一部分介绍了随机抽样、期望、马尔可夫不等式、切比雪夫不等式、切尔诺夫界、球和箱子模型、概率技术和马尔可夫链等核心内容。第二部分主要研究连续概率、有限独立性的应用、熵、马尔可夫链蒙特卡罗方法、耦合、鞅和平衡配置等比较高深的课题。《概率与计算》适合作为高等院校计算机科学和应用数学专业高年级本科生与低年级研究生的教材，也适合作为数学工作者和科技人员的参考书。

本书沿袭《程序员的数学》平易近人的风格，用通俗的语言和具体的图表深入讲解程序员必须掌握的各类概率统计知识，例证丰富，讲解明晰，且提供了大量扩展内容，引导读者进一步深入学习。 本书涉及随机变量、贝叶斯公式、离散值和连续值的概率分布、协方差矩阵、多元正态分布、估计与检验理论、伪随机数以及概率论的各类应用，适合程序设计人员与数学爱好者阅读，也可作为高中或大学非数学专业学生的概率论入门读物。

数学建模（原书第三版），ISBN：9787111147930，作者：（美）吉奥丹诺 等著，叶其孝 等译

《开源的成功之路》的编者提出的论点是，开源社区首创精神的意义尤为深远。通过探讨构成财产的基本概念，该社区重新改写了一些最基本的管理问题。与此同时，它正在重建软件世界的政治学和经济学。假如您就像编者一样深信，在未来，软件构成的一些核心工具和原则将指导人类如何协同工作，协助人们创造财富并开创美好的未来，寻求新思想和新问题的解决方案，那么，理解开源如何改变这些过程至关重要。作为一名政治学家，编者更关心社区的管理方式，而非技术本身。编者之所以对开源产生兴趣，正是因为这个新兴的技术社区似乎能够以一种非常新奇而动人的方式，解决在编者看来相当棘手但常见的基本管理问题。 海报：

社会网络分析在社会和行为科学巾应用甚广，如经济学、市场营销以及工业工程。社会网络的视角主要关注于社会实体之间的关系。具体的例子有团队成员之间的交流，公司间的经济事务，以及国家间的贸易或条约。标准社会和行为研究主要关心社会单元的属性，而将焦点放在对关系的研究上，是对标准社会和行为研究的一种重要补充。 《社会网络分析--方法与应用》(作者斯坦利·沃瑟曼、凯瑟琳·福斯特)综述并讨论了分析社会网络的方法，通过打量例子，重点关注这些方法的具体应用。本书主要分为六个部分。第一部分的章节从社会网络的视角进行概述，描述了不同类型的社会网络数据。第二部分讨论了社会网络的形式表示，包括符号、图论以及矩阵操作。第三部分涵盖了社会网络的结构和位置的性质，包括中心性、声望、优势、结构平衡、可聚类性、凝聚子群以及从属网络。第四部分考查了社会网络关于角色和地位的方法，包括对结构等价、块模型以及关系代数的讨论。第五部分探讨了二元关系和三元关系的特性。第六部分讨论了社会网络的统计方法。 《社会网络分析--方法与应用》是一本参考书，适用于那些想对网络分析方法有一个全面了解的读者，也适用于收集了网络数据，并想找到恰当方法对数据进行分析的研究者。它也是一本教科科书，较全面地涵盖了社会网络分析领域的方法论和应用。

《人工智能:一种现代的方法(第3版)(影印版)》最权威、最经典的人工智能教材，已被全世界100多个国家的1200多所大学用作教材。《人工智能:一种现代的方法(第3版)(影印版)》的最新版全面而系统地介绍了人工智能的理论和实践，阐述了人工智能领域的核心内容，并深入介绍了各个主要的研究方向。全书仍分为八大部分：第一部分“人工智能”，第二部分“问题求解”，第三部分“知识与推理”，第四部分“规划”，第五部分“不确定知识与推理”，第六部分“学习”，第七部分“通信、感知与行动”，第八部分“结论”。《人工智能:一种现代的方法(第3版)(影印版)》既详细介绍了人工智能的基本概念、思想和算法，还描述了其各个研究方向最前沿的进展，同时收集整理了详实的历史文献与事件。另外，《人工智能:一种现代的方法(第3版)(影印版)》的配套网址为教师和学生提供了大量教学和学习资料。 《人工智能:一种现代的方法(第3版)(影印版)》适合于不同层次和领域的研究人员及学生，是高等院校本科生和研究生人工智能课的首选教材，也是相关领域的科研与工程技术人员的重要参考书。

How does a computer scientist understand infinity? What can probability theory teach us about free will? Can mathematical notions be used to enhance one's personal understanding of the Bible? Perhaps no one is more qualified to address these questions than Donald E. Knuth, whose massive contributions to computing have led others to nickname him "The Father of Computer Science"--and whose religious faith led him to understand a fascinating analysis of the Bible called the 3:16 project. In this series of six spirited, informal lectures, Knuth explores the relationships between his vocation and his faith, revealing the unique perspective that his work with computing has lent to his understanding of God. His starting point is the 3:16 project, an application of mathematical "random sampling" to the books of the Bible. The first lectures tell the story of the project's conception and execution, exploring its many dimensions of language translation, aesthetics, and theological history. Along the way, Knuth explains the many insights he gained from such interdisciplinary work. These theological musings culminate in a surprising final lecture tackling the ideas of infinity, free will, and some of the other big questions that lie at the juncture of theology and computation. Things a Computer Scientist Rarely Talks About, with its charming and user-friendly format--each lecture ends with a question and answer exchange, and the book itself contains more than 100 illustrations--is a readable and intriguing approach to a crucial topic, certain to edify both those who are serious and curious about their faiths and those who look at the science of computation and wonder what it might teach them about their spiritual world. Includes "Creativity, Spirituality, and Computer Science," a panel discussion featuring Harry Lewis, Guy L. Steele, Jr., Manuela Veloso, Donald E. Knuth, and Mitch Kapor.

这不仅仅是一本图书！ 　　还有多媒体光盘、网站……将带你进入全新的世界！ 　　本书采用最先进的方法和技术讲述计算机基础知识，涉及面之广、内容之丰富、方法之独特，令人叹为观止，堪称计算机基础知识的百科全书！随书附带的多媒体光盘包含了交互式英文原版书、练习题库等。光盘中不仅有录像、动画、交互式术语表等，还有评分记录和快速测试答案，这使学生能马上了解自己的学习成果，教师也可以马上了解学生的学习情况。此外，各章还配有测验、学习提示、实验及相关信息。本书可用作高校各专业的计算机导论教材和教师参考书，也可供广大计算机爱好者参考使用。 　　与以前的版本相比，本版从整体上进行了更新，提供了关于计算机、软件和因特网方面的最新信息。 　　随书光盘中包括：快速测试答案和术语表以及英文版原书 　　本书详细介绍计算机领域的相关知识，是学习计算机科学和了解计算机发展历史不可多得的一本好书。全书共分十三章，分别介绍计算机、因特网、web和电子邮件基础知识，计算机硬件，计算机软件，文件管理、病毒防护和备份，因特网和局域网技术，网页、网站和电子商务，数字媒体，计算机产业，信息系统分析与设计，数据库，计算机编程等内容。各章还配有测试、学习提示、实验及相关信息网，并配有光盘。本书可用作高校各专业的计算机导论教材和教师参考书，也可供广大计算机爱好者参考使用。

现在是 IT的时代，工作与生活都离不开IT。许多人都想了解软件原理，甚至编写一些简单的软件。通过《编程 ING：人人都能学会程序设计》一书，你就能拥有这样的能力，甚至培养出对编程的兴趣。 本书在编写上采用了心理学的一些技巧，每一页都有绘制精美的彩图并配有相应的说明文字，通过图的方式加强说明，而且图片与下面的文字相互呼应，达到重复的效果，可以加深记忆。读者在看图的过程中思考，在阅读文字的过程中加强理解，在动手实践的过程中实际体会，学习效果相当好。 这本书分成三大篇：第一篇讲述编程原理，第二篇讲述语法细节，第三篇是范例演示。第一篇重点在打破隔阂，让读者对编程有基本的认识，不再感到陌生或恐惧。第二篇详细说明语法，内容安排得深入浅出，不像一般程序设计书籍那般枯燥，而且强调动手做实验。第三篇的范例将前两篇的知识整合起来，并且突破性地设计渐进式的范例，让学习的坡度相当和缓，且讲解了所有的程序要素，包括循环、分支、函数、递归与模块化。 任何人想学程序设计，这本书都会是一个明智的选择。

1997年5月11日，全世界数百万人通过电视观看了一场惊人的胜利——一台计算机战胜了欲捍卫世界冠军称号的卡斯帕罗夫，此举震惊了国际象棋界。 本书的作者许峰雄是“深蓝”的系统设计师，他避开难懂的术语，以非技术的谈话式的笔触，介绍了在“深蓝”与卡斯帕罗夫两次具有历史意义的弈战背后所发生的故事，披露了一个不起眼的学生课题如何最终转化为价值数百万美元的超级计算机的过程：科学创意的形成，克服重重技术障碍，研制弈棋机过程中的竞争和激烈的争执，最终战胜世界上最伟大的人类棋手。

《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。