- 东南大学出版社(1)
- 东南大学出版社(1)
- 浙江人民出版社(1)
- 浙江人民出版社(1)
- 湘潭大学出版社有限责任公司(1)
- 湘潭大学出版社有限责任公司(1)
- 东南大学出版社(1)
- 东南大学出版社(1)
- 湘潭大学出版社有限责任公司(1)
- 湘潭大学出版社有限责任公司(1)
- 浙江人民出版社(1)
- 浙江人民出版社(1)
-
计算机科学的数学基础
¥17.1(3.8折)定价:¥45.0形式语言与自动机理论、可计算理论、逻辑学和程序设计理论,都是研究计算模型的。它们之间也是相互关联的,共同构成了现代计算机科学技术的理论基础。这些理论都是属于数学学科的。形式语言与自动机理论、可计算理论和逻辑学的研究都始于20世纪初叶,特别是20世纪30年代的数学家Church(邱奇)、GMel(哥德尔)、Kleene(克林)、Post(波斯特)以及Turing(图灵)等人的杰出工作催生了现代电子数字计算机的硬件和软件的诞生。程序设计理
-
IT传(信息技术250年)(精)
¥33.4(3.8折)定价:¥88.0网络普及以后,我们的生活和商业方式都发生了戏剧性的变化。 如果只徒然地追求这些变化的话,是看不到科技发展的本质的。为了思考今后的社会将如何变化,回顾信息技术相关的历史并检视现在是十分重要的。 工业革命之后,1794年在法国诞生了一种被称为“悬臂通信机”的技术。之后,知名作家、发明家、数据科学家雷·库兹韦尔预言,2045年之前,计算机的能力将会超越人类。本书即着眼于这250年间通信技术的发展,回顾过去,检视现在,展望未来...