《程序设计语言的形式语义》英文扫描版
基本信息
打开支付宝首页搜“673273051”领红包，领到大红包的小伙伴赶紧使用哦！
相关书籍
- 《计算机体系结构》[]
- 《软件工程导论》[]
- 《云计算实践指南》[]
- 《面向对象的思考过程》[]
- 《图解物联网 (图灵程序设计丛书)》[]
- 《统计思维：程序员数学之概率统计 [Mei ]Allen B. Downey》[]
- 《算法心得 高效算法的奥秘 原书第2版》[]
- 《OSCON 2018 - Portland, Oregon》[]
- 《重构——改善既有代码的设计》[]
- 《交互设计之路》扫描版[]
内容介绍
第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 另一种语义
内容简介：
本书是形式语义方面的一本经典之作，被国内外很多大学选作教材。书中包括集合论基础、指称语义、操作语义、公理语义、归纳原理、归纳定义、完备性、域论、递归方程、递归技术、高阶类型语言、信息系统、递归类型、不确定性和并行性、不完备性和不可判定性等内容。
本书始终强调指称语义和操作语义的联系，并给出它们的一致性证明。书中包含了丰富的练习。 本书以作者在剑桥大学和aarhus大学的讲义为基础编写而成，可以作为计算机专业和数学专业的本科生和研究生形式语义课程的教材，也适用于软件开发人员参考。
本书是以作者在剑桥大学和aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识，介绍了支撑程序设计语言形式语义的数学理论、方法和概念，这些知识可以用于创造、形式化和证明规则，从而可以描述和推导各类程序设计语言的各种成分和性质。
本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。
本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材，也可作为软件开发人员的参考书
内容截图：
