《 编程实践中的有效理论 》
- 集合论逻辑学离散数学基础算法正确性证明复杂度分析形式化方法编程学习图论问题递归编程
- #简明风格 #系统教学 #算法解析 #数学框架 #编程入门 #理论实践结合 #自包含教材
- 选题分类：计算机理论 程序设计
- 原版语种：英语（可提供图书翻译服务）
- 原出版地：美国
- 出版日期：2023年01月
- 页数：562页
- 图书定价：（不详）
- 开本：（不详）
- 内文印刷：（不详）
- 字数：（不详）
申请样书样章
您正在通过本网站在线提交出版评估申请。
若您的申请获得通过，您将可以在线对本作品的电子样书进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
申请翻译样章
您正在通过本网站在线提交翻译样章申请。
若您的申请获得通过，您将可以在线对本作品的翻译样章进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
内容简介
本教材以简明而精准的方式，为编程学习者系统阐释了诸多基础算法。书中包含理解算法解析所需的背景知识，并培养读者为其他算法自主构建解析的能力。作者通过恰当运用形式化方法，而非回避形式主义，实现了论述的清晰性与简明性。
本书自成体系，仅需读者具备高中数学基础及初级编程写作能力，不要求熟悉任何特定编程语言。从集合、函数、关系、逻辑等基本概念出发，结合归纳法等证明技巧，通过分阶段示例逐步构建程序正确性、终止性及效率分析的数学框架。
全书依托严谨理论体系，系统开发了涵盖搜索、排序、匹配、图论问题、递归编程方法与动态规划技术等多类基础算法，最终延伸至并行递归结构。
作者介绍
德克萨斯大学奥斯汀分校计算机科学系斯伦贝谢百年荣誉教授及大学杰出教学荣誉教授。学界公认他在并发编程形式化领域的重要贡献，特别是与托尼·霍尔爵士共同推动的"验证软件计划"。
米斯拉与曼尼·钱迪（K. Mani Chandy）合作在并发计算领域取得多项突破性成果：包括并发计算描述语言UNITY及其逻辑系统、分布式离散事件模拟的保守算法、资源分配核心算法（哲学家饮酒问题、死锁检测、分布式图算法），以及分布式系统知识传输理论。他与美国计算机科学家戴维·格里斯（David Gries）合作提出了解决频繁项计算的首个算法，并建立了并发内存访问公理体系，为可线性化理论奠定基础。其最新研究项目Orc致力于构建并发计算代数模型，以促进异构软件的并发执行集成。
米斯拉现任美国国家工程院院士，曾荣获2017年IEEE哈利·古德纪念奖（与K. Mani Chandy共享）、2010年法国巴黎萨克雷高师荣誉博士、1988年古根海姆奖学金，同时是ACM会士（1995）、IEEE会士（1992）及印度坎普尔理工学院杰出校友。
相关推荐
本教材以简明而精准的方式，为编程学习者系统阐释了诸多基础算法。书中包含理解算法解析所需的背景知识，并培养读者为其他算法自主构建解析的能力。作者通过恰当运用形式化方法，而非回避形式主义，实现了论述的清晰性与简明性。
本书自成体系，仅需读者具备高中数学基础及初级编程写作能力，不要求熟悉任何特定编程语言。从集合、函数、关系、逻辑等基本概念出发，结合归纳法等证明技巧，通过分阶段示例逐步构建程序正确性、终止性及效率分析的数学框架。
全...
请输入分享的Email地址：
