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