经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《论可计算数》读书内容简介:基性的论文《论可计算数及其在判定问题上的应用》。这篇论文堪称图灵一生中最重要的贡献。然而，大众对图灵的了解多停留在破解德国的著名密码系统Enigma，帮助盟军取得二战的胜利上。对于数学家图灵，人们往往知之甚少。在本书中，作者深入分析了图...详情

经典好书《数码摄影构图与用光》读书内容简介:手，你就走进了一个充满魔力的世界。你渴望着进步，渴望能够生动记录下生活中的每一处感动。可为什么总感觉自己的照片不够专业？为什么自己的照片无法做到神形兼备？相信每一个刚开始起步的摄影爱好者都会问自己以上问题，而本手册就是专门为解决以上困惑...详情

经典好书《极简算法史：从数学到机器的故事》读书内容简介:此成就，彼此影响。从古希腊哲学到“无所不能”的计算机，数字、计算、推理这些貌似简单的概念在三千年里融汇、碰撞。如何将逻辑赋予数学意义？如何从简单运算走向复杂智慧？这背后充满了人类智慧的闪光：从柏拉图、莱布尼茨、罗素、香农到图灵都试图从数学公式中证明推...详情

经典好书《可计算性与数理逻辑》读书内容简介:修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题，如哥德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成...详情

经典好书《可计算性与数理逻辑》读书内容简介:订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题，如歌德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成为...详情

经典好书《机器学习算法的数学解析与Python实现》读书内容简介:念和数学原理，以通俗形象的语言进行讲解，让读者无须了解太多前置数学知识，就能看懂数学公式所表达的意思，从而快速掌握机器学习的思想和原理。本书首先介绍机器学习基本概念及工具，然后从概念、原理、Python实现、应用场景几个方面，详细剖析机器学习中主要的...详情

经典好书《文学经典的建构、解构和重构》读书内容简介:院文艺学学科、北京师范大学文艺学研究中心和《文艺研究》杂志社联合主办的“文化研究语境中文学经典的建构与重构国际学术会议”(InternationalConferenceonCanon(Re)FormationintheContextofCultura...详情

经典好书《C算法（第二卷：图算法）（第3版）》读书内容简介:版)》所讨论的图算法，都是实际中解决图问题的最重要的已知方法。《C算法(第2卷)(图算法)(第3版)(中文版)》的主要宗旨是让越来越多需要了解这些算法的人的能够掌握这些方法及基本原理。书中根据基本原理从基本住处开始循序渐进地讲解，然后再介绍一些经典方...详情

经典好书《计算机算法的设计与分析》读书内容简介:哥伦比亚大学计算机科学系主管本科生教学的副主任，IEEE Fellow，美国科学与艺术学院及国家工程学院院士，曾获得IEEE的冯·诺伊曼奖。他是《编译原理》(Compiler：Principles，Techniques，andTools)的第一作者。...详情