无名图书的logo
无名图书
  • 最近更新
  • 文学
  • 社会文化
  • 历史
  • 经济
  • 理工科
  • 政治
  • 健康
  • 自然科学
  • 计算机
  • 设计
  • 美食旅行
  • 思想
  • 生物
  • 建筑
  • 绘本
  • 天文
  • 出版时间
  • 更新时间
  • 评分
  • 计算机科学中的数学

    [美] Eric Lehman, [美] F. Thomson Leighton, [美] Albert R. Meyer

    评分 7.8分

    本书是麻省理工学院计算机科学与工程专业本科生的初等离散数学课程讲义,涵盖了国外计算机科学专业涉及的基础数学知识,内容涉及形式逻辑符号、数学证明、归纳、集合与关系、图论基础、排列与组合、计数原理、离散概率、递归等,特别强调数学定义、证明及其应用方法。 本书适用于计算机相关专业学生及从业人员的数学入门,亦可作为统计、机器学习、数据挖掘等课程的初学资源。

  • 应用逻辑

    Anil Nerode Richard A.Shore

    评分 8.4分

    “本书无疑是计算机科学最富成效的入门教科书之一……我们强烈建议把它作为教科书……” ——美国计算机协会自动机与可计算性理论专业组 (SIGACT) 这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑(模态逻辑和直觉主义逻辑),所用的方法与数理逻辑的经典著作有很大不同,更加适合研究计算机理论的读者,可以帮助他们更好地理解计算机理论中的

  • 现代数学手册·计算机数学卷

    《现代数学手册》编纂委员会

    评分 0.0分

    作为数学工具书,这部巨型手册要求具备哪些特呢?在编写过程中,出版社负责人和我们达成了一项共识,即手册应具科学性、先进性、实用性、规范性与简明性。200余位撰稿人与审稿人按照这些特点和要求会出了艰辛的劳动,我们要感谢他们的通力合作与努力,使手册基本上体现了上述所希冀的特点或特色。 本丛书为国家“九五”重点出版项目。为了读者选购和使用方便,本手册分5卷出版,分别名为“经典数学卷”、“近代数学卷