欢迎光临中图网 请 | 注册
奔向书中的旷野 |每满79减30
售价:
---
折扣:
  • 计算机科学的数学基础

    ¥21.6(4.8折)定价:¥45.0

    形式语言与自动机理论、可计算理论、逻辑学和程序设计理论,都是研究计算模型的。它们之间也是相互关联的,共同构成了现代计算机科学技术的理论基础。这些理论都是属于数学学科的。形式语言与自动机理论、可计算理论和逻辑学的研究都始于20世纪初叶,特别是20世纪30年代的数学家Church(邱奇)、GMel(哥德尔)、Kleene(克林)、Post(波斯特)以及Turing(图灵)等人的杰出工作催生了现代电子数字计算机的硬件和软件的诞生。程序设计理

本类畅销
本类新书

本站常销

中图网
返回顶部