[放大封面]
[放大封底]
|
| 【相关下载】 |
 |
|
|
| 【二手书】 |
 |
本产品共有 0 册二手书出售，
最低价：￥.00 [查看] |
|
|
|
| 【读者评论】 |
 |
|
 |
内容简介
本书是形式语义方面的一本经典之作，被国内外很多大学选作教材。书中包括集合论基础、指称语义、操作语义、公理语义、归纳原理、归纳定义、完备性、域论、递归方程、递归技术、高阶类型语言、信息系统、递归类型、不确定性和并行性、不完备性和不可判定性等内容。
同时，本书始终强调指称语义和操作语义的联系，并给出它们的一致性证明。书中包含了丰富的练习。 本书以作者在剑桥大学和Aarhus大学的讲义为基础编写而成，可以作为计算机专业和数学专业的本科生和研究生形式语义课程的教材，也适用于软件开发人员参考。
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识，介绍了支撑程序设计语言形式语义的数学理论、方法和概念，这些知识可以用于创造、形式化和证明规则，从而可以描述和推导各类程序设计语言的各种成分和性质。
本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。
本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材，也可作为软件开发人员的参考书。
Glynn Winskel
曾任丹麦Aarhus大学计算机科学系教授．计算机科学基础研究中心(BRICS)主任．现任剑桥大学计算机实验室教授。
|
目录
伸缩显示:  [弹出查看]
伸缩显示: [弹出查看] |
|
|
编辑荐语
[您可以向编辑推荐本书的亮点，采纳后奖励５－１０元优惠卷]（一个工作日内处理您的建议）
本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。
|
|
推荐图书
金书豆豆
【您的购物车】
(共0条)