热门搜索:bet36体育在线

程序设计语言的形式语义

时间:2018-11-08 02:01 文章来源:bet36体育在线 点击次数:

  GlynN Winskel,曾任丹麦Aarhus大学计算机科学系教授,计算机科学基础研究中心主任,现任剑桥大学计算机实验室教授。

  本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、bet36体育在线不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识,介绍了支撑程序设计语言形式语义的数学理论、方法和概念,这些知识可以用于创造、形式化和证明规则,从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、bet36体育在线投注,域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材,也可作为软件开发人员的参考书。

  书评本书内容十分丰富,涉及了集合论、指称语义、操作语义、bt365备用网址公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。

  出版者的话专家指导委员会译者序译者简介前言第1章 集合论基础第1节 逻辑记号第2节 集合第3节 关系与函数第4节 进一步阅读资料第2章 操作语义第1节 IMP——一种简单的命令式语言第2节 算术表达式的求值第3节 布尔表达式的求值第4节 命令的执行第5节 一个简单的证明第6节 另一种语义第7节 进一步阅读资料第3章 归纳原理第1节 数学归纳法第2节结构归纳法第3节 良基归纳法第4节 对推导的归纳第5节 归纳定义第6节 进一步阅读资料第4章归纳定义第1节 规则归纳法第2节 特殊的规则归纳法第3节 操作语义的证明规则第4节 算子及其最小不动点第5节 进一步阅读资料第5章 IMP的指称语义第1节 目的第2节 指称语义第3节 语义的等价性第4节 完全偏序与连纪函数第5节 克纳斯特-塔尔斯基定理第6节 进一步阅读资料第6章 IMP的公理语义第1节 基本思想第2节 断言语言Assn第3节 断言的语义第4节 部分正确性的证明规则第5节 可靠性第6节 应用霍尔规则的一个示例第7节 进一步阅读资料第7章 霍尔规则的完备性第8章 域论第9章 递归方程第10章 递归技术第11章 高阶类型语言第12章 信息系统第13章递归类型第14章 不确定性和并行性附录A 不完备性和不可判定性参考文献索引

  互动百科的词条(含所附图片)系由网友上传,如果涉嫌侵权,请与客服联系,我们将按照法律之相关规定及时进行处理。未经许可,禁止商业网站等复制、抓取本站内容;合理使用者,请注明来源于。

  登录后使用互动百科的服务,将会得到个性化的提示和帮助,还有机会和专业认证智愿者沟通。bet36体育在线

    热门排行

    Baidu