孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

编程的修炼（中英双语）

编程的修炼（中英双语）
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: [荷兰]
出版社: 电子工业出版社
2013-07
版次: 1
ISBN: 9787121202506
定价: 79.00
装帧: 平装
开本: 16开
纸张: 胶版纸
页数: 456页
字数: 598千字
原版书名: A Discipline of Programming
分类: 计算机与互联网
40人买过
  • 本书是图灵奖获得者Edsger W. Dijkstra在编程领域里的经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验，对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为（正确性）的推理，并通过一系列从简单到复杂的程序的思考和开发范例，阐释了基于严格的逻辑推理开发正确可靠程序的过程。
      
      
      本书写于20世纪70年代中后期，但其对编程技术领域的开发、编程语言发展和程序理论研究的深刻影响持续至今。本书值得每个关注计算机科学技术的本质，冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。 艾兹赫尔·戴克斯特拉（Edsger W. Dijkstra，1930年5月11日－2002年8月6日），生于荷兰鹿特丹，自喻为荷兰第一个以程序设计作为职业的人。他早年积极推动结构化程序设计，一生致力于将计算（computing）发展为一门科学，在计算机科学技术的诸多领域有开拓性建树，并由于在程序设计基础研究中的卓越贡献获得1972年图灵奖。

        译者简介：

        裘宗燕，北京大学数学学院教授。主要研究兴趣是软件形式化方法和程序设计的理论基础，也关注程序设计实践。翻译过若干相关著作，包括《从规范出发的程序设计》、《B方法》、《编程原本》、《计算机程序的构造和解释》、《C++语言的设计和演化》等。 序 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
  • 内容简介:
    本书是图灵奖获得者Edsger W. Dijkstra在编程领域里的经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验，对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为（正确性）的推理，并通过一系列从简单到复杂的程序的思考和开发范例，阐释了基于严格的逻辑推理开发正确可靠程序的过程。
      
      
      本书写于20世纪70年代中后期，但其对编程技术领域的开发、编程语言发展和程序理论研究的深刻影响持续至今。本书值得每个关注计算机科学技术的本质，冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。
  • 作者简介:
    艾兹赫尔·戴克斯特拉（Edsger W. Dijkstra，1930年5月11日－2002年8月6日），生于荷兰鹿特丹，自喻为荷兰第一个以程序设计作为职业的人。他早年积极推动结构化程序设计，一生致力于将计算（computing）发展为一门科学，在计算机科学技术的诸多领域有开拓性建树，并由于在程序设计基础研究中的卓越贡献获得1972年图灵奖。

        译者简介：

        裘宗燕，北京大学数学学院教授。主要研究兴趣是软件形式化方法和程序设计的理论基础，也关注程序设计实践。翻译过若干相关著作，包括《从规范出发的程序设计》、《B方法》、《编程原本》、《计算机程序的构造和解释》、《C++语言的设计和演化》等。
  • 目录:
    序 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
查看详情
其他版本 / 全部 (1)
12
相关图书 / 更多
编程的修炼（中英双语）
编程侠:4再次开启的门
宋阿伦
￥7.88 起
编程的修炼（中英双语）
编程侠:3漏洞升级
宋阿伦
￥7.88 起
编程的修炼（中英双语）
编程改变生活——用PySide6/PyQt6创建GUI程序（基础篇·微课视频版）
邢世通
￥53.02 起
编程的修炼（中英双语）
编程侠:2英雄的诞生
宋阿伦
￥7.88 起
编程的修炼（中英双语）
编程王国：给孩子的编程启蒙绘本（全9册）
卢高林
￥96.50 起
编程的修炼（中英双语）
编程王国：给孩子的编程启蒙绘本3——用流程图规划生活
卢高林；王落
￥8.08 起
编程的修炼（中英双语）
编程创新应用：从创客到人工智能
马兰、高凯 编著 梦堡文化 绘
￥28.11 起
编程的修炼（中英双语）
编程侠:套装（共5册）
宋阿伦
￥9.08 起
编程的修炼（中英双语）
编程王国：给孩子的编程启蒙绘本1——出发！去1111站
卢高林， 王落
￥8.08 起
编程的修炼（中英双语）
编程启蒙：从Python走进编程世界
李晋 著；清泉静读 出品
￥9.24 起
编程的修炼（中英双语）
编程侠:5异次元旅行
宋阿伦
￥7.88 起
编程的修炼（中英双语）
编程江湖——Python篇（青少年版）
王爱胜
￥25.22 起
您可能感兴趣 / 更多
编程的修炼（中英双语）
逃出瓶子的精灵：一部关于“我”的哲学史
[荷兰]戈尔·格罗特
￥86.00 起
编程的修炼（中英双语）
无条件投降博物馆
[荷兰]杜布拉夫卡·乌格雷西奇
￥20.00 起
编程的修炼（中英双语）
合规评估与测量 : 基于企业犯罪与不当行为的防范
[荷兰]本杰明·范·鲁伊 主编；范晓亮 译；[美]梅丽莎·罗里；朱庆
￥54.66 起
编程的修炼（中英双语）
《忠犬山姆》（2024年百班千人寒假书单 四年级推荐阅读）
[荷兰]菲利普·霍普曼 译者：林霄霄 绘者；著者：【荷】爱德华·范戴尔
￥5.00 起
编程的修炼（中英双语）
自有品牌革命
[荷兰]科恩·德·琼(Koen；A.M.；de；Jong；[荷兰]罗伯特·朗贝尔；[荷兰]洛·林普斯
￥64.73 起
编程的修炼（中英双语）
多谢不阅
[荷兰]杜布拉夫卡·乌格雷西奇 著；理想国 出品
￥18.00 起
编程的修炼（中英双语）
文明破晓时
[荷兰]范德莱乌 著；高师宁 宋立道 曹静 王六二 译；何光沪 校
￥66.64 起
编程的修炼（中英双语）
编码理论导论 第3版 香农信息科学经典
[荷兰]雅各布斯·亨德里克斯·范·林特（J.H. van Lint）
￥31.40 起
编程的修炼（中英双语）
小熊战士（99）（获美国巴切尔德奖的真实故事，让孩子更了解战争的本质；作者获荷兰青少年文学终身成就奖！）
[荷兰]彼彼·迪蒙·达克
￥7.76 起
编程的修炼（中英双语）
DevOps持续万物（DevOps组织能力成熟度评估）（数字化转型与创新管理丛书）
[荷兰]巴特·德·贝斯特（Bart de Best） 著
￥54.20 起
编程的修炼（中英双语）
雕版手绘珍鸟图鉴
[荷兰]比比·多姆·塔克
￥24.44 起
编程的修炼（中英双语）
共情时代
[荷兰]弗朗斯·德瓦尔
￥20.59 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全