可计算性与数理逻辑 书籍
经典好书《可计算性与数理逻辑》读书内容简介:修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如哥德尔不完全性定理等,而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题,因而已成...详情
计算复杂性 书籍
经典好书《计算复杂性》读书内容简介:fessor in the department of computer science at Princeton University. He has done foundational work on probabilistically chec...详情
可计算性与数理逻辑 书籍
经典好书《可计算性与数理逻辑》读书内容简介:订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如歌德尔不完全性定理等,而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题,因而已成为...详情
经典好书《机器学习算法的数学解析与Python实现》读书内容简介:念和数学原理,以通俗形象的语言进行讲解,让读者无须了解太多前置数学知识,就能看懂数学公式所表达的意思,从而快速掌握机器学习的思想和原理。本书首先介绍机器学习基本概念及工具,然后从概念、原理、Python实现、应用场景几个方面,详细剖析机器学习中主要的...详情
计算分子进化 书籍
经典好书《计算分子进化》读书内容简介:业于甘肃农业大学,1992年获北京农业大学博士学位。曾在甘肃农业大学和北京农业大学畜牧系工作以及英美等国从事博士后研究。1997年起在伦敦大学学院(University College London)生物系任教(1997-2000年任讲师,2000-...详情
计算语言学概论 书籍
经典好书《计算语言学概论》读书内容简介:)主要讲述计算语言学的数学和语言学基本概念,计算语言学和自然语言处理技术的关系,自然语言处理的基本流程等内容。此外,作为计算语言学的重要分支之一,语料库语言学得到了较大发展,有关语料库语言学的基础概念、基本理论、近年来的一些发展概况在第三章中加以介绍...详情
计算系统的形式语义 书籍
经典好书《计算系统的形式语义》读书内容简介:两大方向之一,其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础,为第一章。第二部分包括第二到第五章,概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第...详情
机械设计实践 书籍
经典好书《机械设计实践》读书内容简介:及必要的知识和具体数据。介绍了设计中要决定的内容和相应的制约条件。如功能、机构、构造、形状、力和强度、尺寸加工工艺、工具、材料、机械要素等。最后介绍了具体设计实例。本书的目的在于即使不看其他的书和参考书就能设...详情