🔥 热搜 🔥
上海习近平新疆鄂州父女瓜乌鲁木齐疫情H工口小学生赛高习明泽芊川一笑图包印尼排华
分类
社会娱乐国际人权科技经济其它
🔥 热搜 🔥
百度今日热点微信公众平台贴吧opggdnf私服百度贴吧知乎dnf公益服百度傻逼
分类
社会娱乐国际人权科技经济其它
查看原文
其他

《编程原本》提升你对编程的洞察力

点此关注→ 码农真经 2023-12-25
本书将严格的数学定义、公理化和演绎方法应用于程序设计，讨论程序与保证它们正确工作的抽象数学理论之间的联系。本书把理论的规程、基于这些规程写出的算法，以及描述算法性质的引理和定理一起呈现给读者，以帮助读者将复杂系统分解为一些具有特定行为的组件。
本书适合软件开发人员和需要进行程序设计的科学家及工程师阅读，也可供高等院校计算机及相关专业的师生参考。Alexander Stepanov 于1967 到1972 年间在国立莫斯科大学学习数学，从1972 年开始在苏联从事程序设计工作，1977 年移民美国后继续在这一领域工作。他编写过操作系统、程序设计工具、编译器和各种程序库。他在程序设计基础方面的工作先后得到GE、Brooklyn Polytechnic、AT&T、HP、SGI和Adobe 的支持。他在1995 年因C++ 标准模板库的设计获Dr. Dobb’sJournal 的程序设计杰出贡献奖。
Paul McJones 于1967 到1971 年间在加州大学伯克利分校学习工程数学，1967 年进入程序设计领域。他涉足的领域包括操作系统、程序设计环境、事务处理系统，以及企业和客户应用系统等。他先后在加州大学、IBM、Xerox、Tandem、DEC 和Adobe 工作。1982 年他与合作者一起因论文“The Recovery Manager of the System R Database Manager”获得ACM 程序设计系统和语言论文奖。
关注 码中人
点赞、转发、广告，更多优质资源等你来...
(编程原本)

往期推荐

【Just JavaScript简介】不就是个小小的JS

无限可能：快速唤醒你的学习脑 2020.12【硅谷钢铁侠马斯克大脑教练作品、实操性强！】

吴军《智能时代》读书笔记

so easy...自制代码截图工具

豆瓣的2020年度读书榜单（较全）

继续滑动看下一个

您可能也对以下帖子感兴趣

文章有问题？点此查看未经处理的缓存