程序设计语言的形式语义 The Formal Semantics of Programming Languages An Introduction 英文扫描版[

游客，本帖隐藏的内容需要积分高于 1 才可浏览，您当前积分为 0

资源信息： 中文名: 程序设计语言的形式语义 原名: The Formal Semantics of Programming Languages An Introduction 作者: Winskel 图书分类: 软件 资源格式: PDF 版本: 英文扫描版 出版社: MIT Press 书号: 0262231697 发行时间: 1993年 地区: 美国 语言: 英文 概述:

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

目录: 第1章 集合论基础 1．1 逻辑记号 1．2 集合 1．2．1 集合与性质 1．2．2 一些重要集合 1．2．3 集合的构造 1．2．4 基本公理 1．3 关系与函数 1．3．1 入记号 1．3．2 复合关系与复合函数 1．3．3 关系的正象与逆象 1．3．4 等价关系 1．4 进一步阅读资料 第2章 操作语义 2．1 imp--一种简单的命令式语言 2．2 算术表达式的求值 2．3 布尔表达式的求值 2．4 命令的执行 2．5 一个简单的证明 2．6 另一种语义