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