本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识,介绍了支撑程序设计语言形式语义的数学理论、方法和概念,这些知识可以用于创造、形式化和证明规则,从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材,也可作为软件开发人员的参考书。
第一章 集合论基础
第二章 操作语义
第三章 归纳原理
第四章 归纳定义
第五章 IMP的指称语义
第六章 IMP的公理语义
第七章 霍尔规则的完备性
第八章 域论
第九章 递归方程
第十章 递归技术
第十一章 高阶类型语言
第十二章 信息系统
第十三章 递归类型
第十四章 不确定性和并行性
《文明、现代化、价值投资与中国》内容简介:本书是喜马拉雅资本创始人、查理·芒格家族资产管理者李录的理论文集。全书包含上下两
《十九世纪文学主流Ⅱ:德国的浪漫派》内容简介:勃兰兑斯在哥本哈根大学的讲演汇编成《十九世纪文学主流》,纵论法、德、英诸国浪
《论语全解》内容简介:《论语》是记录孔子及其部分弟子言行的语录体文集,是儒家早期重要的经典著作,也是反映我国优秀传统文化的
《从灵光殿到武梁祠》内容简介:汉代画像研究是中国美术史中的显学。武氏祠及其所属的孝堂山祠—武梁祠派画像,同时也是汉代研究的
《犀利销售》内容简介:如何成为一名成功的销售人员?本书由浅入深,分五个层次介绍不同阶段的销售人员所应具备的能力和素质。书中
本书详细介绍了广泛的Web技术,包括:HTTP、XHTML、CSS、JavaScript、DOM、Javaservlet、XML及相关技术、JSP、SOAP、W...
《雷锋日记》内容简介:长久以来,《中小学生必读丛书:雷锋日记》已经成为传播“雷锋精神”最鲜活的载体,“雷锋精神”也已经成为
《玩转Django 2.0》内容简介:本书是一本Python Web的技术总结,主要以Python 3和Django 2.0版本实现。通过本书的学习,读者能够透
本书是一本完整的、基于最佳实践的JavaScript敏捷测试指南,同时又有着测试驱动开发方法(TDD)所带来的质量保证。领先一步的Jav
《DebugHacks中文版—深入调试的技术和工具》是MiracleLinux的创始人吉冈弘隆和几位工程师们多年从事内核开发的经验积累。从调试
《商事指导性案例的司法适用》内容简介:指导性案例制度是一项具有中国特色的司法制度。为全面落实指导性案例的目的和本旨、促进商
《中国工艺美学史》包括主体人、人与自然、道与器、生活需要、物的功能、功能与装饰等方面,这是对中国工艺美学的本质的剖析,反
汇编语言程序设计-第2版 本书特色 《汇编语言程序设计(第2版)》以Intel 80x86 CPU的指令系统为介绍对象,以并行推进的方式来介绍其16位和32位C...
《EDA精品智汇馆:硬件系统工程师宝典》硬件系统设计中的常见需求,设计中需要考虑的各类概要设计及开发平台的归纳,SI的理论分析
Thisbookpresentsanintegratedcollectionofrepresentativeapproachesforscalingupmach...
《把孩子交给爸爸》内容简介:在当下家庭教育中,普遍存在父亲教育缺失或不足的现象,本书作者作为一个相当称职的爸爸,给千万个家
《机器学习观止:核心原理与实践》内容简介:本书在写作伊始,就把读者设想为一位虽然没有任何AI基础,但对技术本身抱有浓厚兴趣、
BeforeandAftermagazinesfocusonclarity,simplicity,andelegancehaswonitlegionsoffan...
Thinkpad笔记本电脑应用技术精粹 本书特色 本书内容覆盖了ThinkPad笔记本电脑硬件系统和软件系统两大方面的应用技巧。从ThinkPad笔记本电脑硬件...
《生活,是第一位的》内容简介:汪曾祺:“我要运用普通朴实的语言把生活写得很美,很健康,富于诗意,这同时也就是我要想达到的效