|
题名:
|
编程原本 bian cheng yuan ben / (美)亚历山大·斯特潘诺夫(Alexander Stepanov)，(美)保罗·麦克琼斯(Paul McJones)著 , 裘宗燕译 |
|
ISBN:
|
978-7-115-49351-4 价格： CNY79.00 |
|
语种:
|
chi |
|
载体形态:
|
14,298页 23cm |
|
出版发行:
|
出版地： 北京 出版社： 人民邮电出版社 出版日期： 2019 |
|
内容提要:
|
本书将严格的数学定义、公理化和演绎方法应用于程序设计，讨论程序与保证它们正确工作的抽象数学理论之间的联系。本书把理论的规程、基于这些规程写出的算法，以及描述算法性质的引理和定理一起呈现给读者，以帮助读者将复杂系统分解为一些具有特定行为的组件。 |
|
主题词:
|
程序设计 数学理论 |
|
中图分类法:
|
TP311.1 版次： 5 |
|
主要责任者:
|
斯特潘诺夫 si te pan nuo fu 著 |
|
主要责任者:
|
麦克琼斯 mai ke qiong si 著 |
|
次要责任者:
|
裘宗燕 qiu zong yan 译 |