《编程的修炼(中英双语)》
基本信息
作者: (荷)Edsger W.Dijkstra
译者: 裘宗燕
出版社:电子工业出版社
ISBN:9787121202506
上架时间:2013-6-28
出版日期:2013 年7月
开本:16开
页码:456
版次:1-1
所属分类:计算机 > 软件与程序设计 > 综合 > 高级程序语言设计
更多关于 》》》《编程的修炼(中英双语) 》
内容简介
计算机书籍
《编程的修炼(中英双语)》是图灵奖获得者edsger w. dijkstra在编程领域里的经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验,对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过一系列从简单到复杂的程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确可靠程序的过程。
《编程的修炼(中英双语)》写于20世纪70年代中后期,但其对编程技术领域的开发、编程语言发展和程序理论研究的深刻影响持续至今。本书值得每个关注计算机科学技术的本质,冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。
目录
《编程的修炼(中英双语)》
序ix
前言xi
第0章 执行抽象1
第1章 编程语言的作用13
第2章 状态及其特征19
第3章 语义的性质29
第4章 一种编程语言的语义特征47
第5章 两个定理73
第6章 论完满终止结构的设计81
第7章 再论欧几里得算法89
第8章 几个小例子的形式化处理101
第9章 论受限的非确定性143
第10章 有关记法的短论:“变量的作用域”157
第11章 数组变量187
第12章 线性检索定理209
第13章 下一个排列213
第14章 荷兰国旗问题221
第15章 更新顺序文件233
第16章 再论归并245
.第17章 来自r.w.hamming的一个练习257
第18章 模式匹配问题269
第19章 将一个数写成两个平方之和279
第20章 大数的最小素因子问题285
第21章 最孤立村庄问题297
第22章 最短子支撑树问题307
第23章 记录等价类的rem算法321
第24章 三维空间的凸包问题335
第25章 有向图的最大强连通分支383
第26章 论手册和实现401
第27章 跋417
相关推荐
《中英双语对照语料》是一份宝贵的资源,尤其对于那些从事机器翻译研究和实践的人士来说,具有极高的价值。这份语料库包含了大量中文与英文的对应文本,覆盖了各种主题和领域,旨在为自动翻译系统提供训练数据,以...
midjourney提示词AI绘画中英双语图文词典
【标题】"双语模板_中英双语模板_双语发表模板_" 指的是一个专门用于撰写中英文双语论文的LaTeX模板。在学术界,尤其是国际交流日益频繁的今天,双语模板成为了方便作者同时用中文和英文撰写论文的重要工具,尤其...
《MAYA2011_中英双语补丁》是专为Autodesk Maya 2011设计的一款语言转换工具,旨在为用户在使用这款强大的三维动画软件时提供中英文双语环境。Maya作为全球领先的3D建模、动画、模拟和渲染软件,其复杂的界面和丰富...
这个资源提供了中英双语版本,意味着无论用户是中文环境还是英文环境,都能轻松地进行开发和使用。AceAdmin的设计注重用户体验和功能性,使得开发者能够快速构建出专业且美观的管理界面。 AceAdmin的核心特性包括...
标题中的“中英双语语料 59W数据1”指的是一个包含590,000条中英文对应语料的集合,这通常用于自然语言处理(NLP)的任务,如机器翻译、文本对齐、语义理解等。这些语料可能是从互联网上收集并经过精心整理和去重的...
总之,通过以上详述的三个步骤,即使是没有编程基础的用户,也能够轻松地在Pro/E中设置中英双语菜单,从而提升个人及团队的工作效率,增强软件的用户友好性。这一技能的学习与掌握,无疑为专业设计师和工程师们提供...
SiteDoor中英双语企业外贸站源码 SiteDoor中英双语企业外贸站源码
"中英双语蓝色风格企业ASP源码"这个标题揭示了几个关键信息。首先,源码是用ASP(Active Server Pages)语言编写的,ASP是一种微软公司的服务器端脚本环境,用于创建动态交互式网页。其次,源码设计为“中英双语”,...
【标题】:“织梦中英双语外贸企业网站源码”指的是使用织梦内容管理系统(DedeCMS)开发的一套适用于国际商务交流的双语(中文和英文)网站模板。织梦CMS是一款基于PHP和MySQL技术的开源网站内容管理框架,广泛应用...
《Google C++编程规范》是一份详尽的指导文档,旨在提供一套标准的编码实践,以提高代码质量、可读性和可维护性。这份规范涵盖了C++语言的多个方面,包括命名约定、代码布局、错误处理、内存管理、类型安全、效率...
### 中英双语词典知识点解析 #### 一、标题:中英双语词典 - **定义**:中英双语词典是指收录了大量中文词汇及其对应的英文翻译的工具书或数据库。 - **作用**: - 促进中英文之间的相互理解和交流。 - 为翻译...
asp源码—ASP中英双语企业网站源码 (可生成HTML) v3.0.zip asp源码—ASP中英双语企业网站源码 (可生成HTML) v3.0.zip asp源码—ASP中英双语企业网站源码 (可生成HTML) v3.0.zip asp源码—ASP中英双语企业网站源码 ...
S-CMS中英双语装饰企业网站是以asp+access进行开发,自带一套PC模板和一套WAP模板的中英双语企业网站。 S-CMS中英双语装饰行业网站系统功能特点: 支持手机版网站 支持站内搜索 支持会员系统 支持商城系统 支持万能...
这份讲义采用中英双语编写,为不同语言背景的学习者提供了便利,使得全球的程序员都能受益于斯坦福大学的教学精华。 编程方法学是计算机科学的基础之一,它涵盖了从问题分析到代码实现的全过程,包括但不限于算法...
【标题】"中英文双语企业网站系统PHP版"是一个基于PHP编程语言开发的企业级网站系统,特别设计用于创建和支持中文和英文两种语言环境的网站。这个系统旨在为国内外企业提供一个方便、高效的在线平台,以展示公司信息...
YIXUNCMS企业网站建设系统SD中英双语版简介 YIXUNCMS网站建设系统是由易迅软件工作室专为中小型企业开发的一套展示类网站系统,采用目前流行的PHP语言并搭配性能稳定的MYSQL数据库。 “YIXUNCMS网站建站系统2.0.4.9...
本资料集合了Qt设计模式的中英双语解析,旨在帮助中级开发者进一步提升在Qt框架下的编程技能。 **设计模式的基本概念** 设计模式是面向对象设计中的核心概念,是对在特定上下文中反复出现的问题以及其解决方案的...
其中,中英双语数据集是该赛事的重要组成部分,它包含超过1000万条的中英文翻译记录,这对于机器翻译领域的研究具有极大的价值。 机器翻译(Machine Translation)是人工智能领域的一个重要分支,旨在利用计算机...