扫一扫
关注中图网
官方微博
出版社：
- 东南大学出版社(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年间通信技术的发展，回顾过去，检视现在，展望未来...
