实用类型程序设计PDF电子书下载
- 电子书积分:17 积分如何计算积分?
- 作 者:屈延文,邱续欣著
- 出 版 社:北京:科学出版社
- 出版年份:1992
- ISBN:7030028546
- 页数:580 页
目 录 1
序 1
引言 1
第一章概论 4
1.1 程序的正确性——首先追求的目标 4
1.2算法效率决定程序效率 8
1.3程序设计方法的重要性 9
1.4程序设计语言概论 16
1.4.1类型概念 17
1.4.2对象概念 18
1.4.3作用域概念 18
1.4.4控制结构 20
1.4.5程序结构 21
1.4.6分别编译 21
1.5软件工程的基本概念 22
1.6应用的开发——类型的开发 24
习题 26
参考文献 27
第二章算法设计与分析基础 28
2.1算法复杂性分析基础 28
2.1.1算法复杂性分析的基本概念 28
2.1.2怎样计算程序复杂性函数 32
2.2算法信息论基础 37
2.2.1算法信息表示 37
2.2.2算法信息的执行回收 40
2.3.1算法设计原则与类型设计 42
2.3算法设计原则与范例 42
2.3.2数据结构算法及其类型 62
2.3.3图论算法及其类型 69
2.3.4模拟算法及其类型 99
2.3.5模式识别算法类型 136
2.3.6一个图形处理的抽象数据类型 149
2.4降低算法复杂性的一般方法 152
2.4.1加权法 152
2.4.3模糊算法 153
2.4.2概率算法 153
2.4.4并行算法 160
习题 163
参考文献 166
第三章类型程序设计(自下而上) 167
3.1组合构造式程序设计 167
3.1.1构造类别代数理论概述 167
3.1.2构造一个集合 170
3.1.3定义一个函数 173
3.1.4构造一个可执行证明 181
3.1.5构造类别代数 186
3.1.6构造类别代数的范畴 188
3.1.7项与数据结构 198
3.1.8小结 199
3.2 抽象数据类型(ADT) 201
3.2.1 类型参数与实例发生 201
3.2.2抽象数据类型实例 210
3.2.3与计算机有关的抽象数据类型 217
3.3抽象数据类型的支持系统 218
3.3.1抽象数据类型的支持系统的组成 219
3.3.2 NCI/VAX C_ADT软件重用与自动生成系统的使用 220
3.4 抽象数据类型说明语言CAL 221
3.4.1 CAL语言的词法单位 222
3.4.2 CAL语言的结构 224
3.4.3类型参数声明 224
3.4.4类型全程变量声明 225
3.4.6函数定义 226
3.4.5类别定义 226
3.4.7表达式 228
3.4.8公理 230
3.4.9类型参数与实例数据类型的发生 232
3.5类型表达式与软件自动生成 234
3.5.1类型表达式 234
3.5.2软件自动生成 235
习题 236
参考文献 236
4.1.1一个程序设计说明语言 237
第四章类型结构程序设计(自上而下) 237
4.1 自上而下的推导式程序设计 237
4.1.2程序推导的基本原理与步骤 249
4.1.3自上而下类型分解 261
4.2结构程序设计的形式结构 267
4.2.1结构程序设计语言的BNF表示 267
4.2.2结构程序设计的框图结构 268
4.2.3非结构程序转化成结构程序 276
4.3 VAX C语言的某些语义说明 278
4.3.1 VAX C语言的存储分配与代码生成语义 279
4.3.2 VAX C语言的标识符作用域与生存时间 285
4.3.3 VAX C语言的整体赋值与相等概念 289
4 3 4 VAX C语言的变量指针 292
4.3.5 VAX C语言的函数声明与函数调用 294
4.3.6 VAX C语言的系统服务、运行时间库及其他系统函数调用 300
4.3.7 VAX C语言的函数指针 309
4.3.8 VAX C语言的程序设计注意事项及规范 311
4.4 YACC——一个编译程序设计的通用工具 313
习题 326
参考文献 328
第五章并发类型程序设计(面向过程) 329
5.1并发程序设计概述 330
5.2 VMS进程的抽象数据类型 333
5.3 VMS进程的同步、通讯及类型 355
5.3.1公用事件标志作为同步信号 355
5.3.2进程用信箱进行通讯 364
5.3.3进程用全局段进行通讯 374
5.4 VMS进程的异常处理与异步自陷及类型 391
5.4.1 VMS的异常处理 392
5.4.2 VMS的异步自陷(AST) 403
5.5 VMS的记录管理服务系统及类型 405
5.6 用VAX C语言编写驱动程序及类型 437
5.7特权共享软件与网络任务通讯 467
5.7.1特权共享软件——用户写系统服务 467
5.7.2网络任务通讯 476
5.8.1表格管理系统(FMS)入门 482
5.8 VMS的表格管理系统及类型 482
5.8.2如何在高级语言程序中使用FMS 486
5.8.3表格抽象数据类型 487
习题 499
参考文献 500
第六章组织大型软件的方法论 501
6.1 概述 501
6.2软件模块说明语言——类型说明语言 502
6.3 数据类型的划分与定义——模块划分就是类型的划分 505
6.4 自上而下地组织一个大型软件 517
6.5 自下而上地组织一个大型软件 520
习题 521
参考文献 522
第七章软件自动生成基础 523
7.1 λ-演算初步 523
7.2 Martin-L?f类型论初步 528
7.2.1直觉主义数学 528
7.2.2 Martin-L?f类型论概述 532
7.2.3 Martin-L?f类型论非形式说明 533
7.2.4 Martin-L?f类型论的形式说明 537
7.2.5 实例 543
习题 548
参考文献 550
附录VAX/VMS操作系统的一个简明类型语义 551
1.0概论 551
2.0 VAX机描述 553
3.0 VMS控制的语义 557
4.0 VMS进程管理系统的语义 559
5.0 VMS存储管理系统的语义 563
6.0 VMS I/O管理系统的语义 565
7.0 VAX记录管理系统的语义 568
8.0 VMS逻辑名系统的语义 570
9.0 VMS DCL命令的语义 571
10.0 VMS引导及初始化的语义 576
参考文献 579
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《设计十六日 国内外美术院校报考攻略》沈海泯著 2018
- 《计算机辅助平面设计》吴轶博主编 2019
- 《高校转型发展系列教材 素描基础与设计》施猛责任编辑;(中国)魏伏一,徐红 2019
- 《景观艺术设计》林春水,马俊 2019
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《高等教育双机械基础课程系列教材 高等学校教材 机械设计课程设计手册 第5版》吴宗泽,罗圣国,高志,李威 2018
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《Cinema 4D电商美工与视觉设计案例教程》樊斌 2019
- 《通信电子电路原理及仿真设计》叶建芳 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《中医骨伤科学》赵文海,张俐,温建民著 2017
- 《美国小学分级阅读 二级D 地球科学&物质科学》本书编委会 2016
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《强磁场下的基础科学问题》中国科学院编 2020
- 《小牛顿科学故事馆 进化论的故事》小牛顿科学教育公司编辑团队 2018
- 《小牛顿科学故事馆 医学的故事》小牛顿科学教育公司编辑团队 2018
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019