本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识,介绍了支撑程序设计语言形式语义的数学理论、方法和概念,这些知识可以用于创造、形式化和证明规则,从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材,也可作为软件开发人员的参考书。
第一章 集合论基础
第二章 操作语义
第三章 归纳原理
第四章 归纳定义
第五章 IMP的指称语义
第六章 IMP的公理语义
第七章 霍尔规则的完备性
第八章 域论
第九章 递归方程
第十章 递归技术
第十一章 高阶类型语言
第十二章 信息系统
第十三章 递归类型
第十四章 不确定性和并行性
计算机专业毕业设计指导书 目录 第1章毕业设计总体指导1.1毕业设计的目的1.2毕业设计的过程第2章基于NET框架的权限管理系统2.1项目背景及需求分析2.2项...
《捉虫日记》由克莱恩所著,《捉虫日记》从实践角度介绍安全漏洞,描述了作者在过去几年里怎样发现漏洞、怎样利用漏洞来攻击以及
《我们为什么要做企业家》内容简介:世界上生意人常有,真正的企业家属于“稀有动物”,但唯有企业家才能对企业和社会起到强大的引
《时间猎人》内容简介:《少年原野科幻探险》系列是国内具有悬疑、科幻、探险的综合风格的少儿科幻小说,由作者历时3年打造而成。目
《会海鸿泥录(精)》内容简介:本书收录了韦力于2015-2019年间,参加的主题与书相关的会议记录文章32篇。作者认为这些与书相关的会
《组织合伙人:寻找增长新曲线》内容简介:企业增长的底层逻辑是什么?企业组织架构的痛点是什么?如何找到企业的增长新曲线?如何
《Excel财务与会计从新手到高手》内容简介:本书详细介绍了财会工作中所需使用的Excel技术,以及将这些技术应用于实际案例的具体方
《布克·华盛顿与杜波依斯的思想之争及其对非裔政治领袖的影响(英文版)》内容简介:20世纪初,布克·华盛顿与杜波依斯就非裔美国
《简笔画15分钟速成!卡通形象卷》内容简介:《幸福手绘三部曲简笔画15分钟速成!卡通形象卷》是一本纯手工绘制的卡通形象图集,作
《中国信息产业"十五"发展规划(通信卷)》收集了有关信息产业“十五”规划的各项研究成果,全面反映了“十五”期间政府行业发展的
《深入理解分布式事务》内容简介:本书的广度与深度兼备、理论与实战兼顾的分布式事务专著,它从基础知识、解决方案、原理分析、源
《人工智能复杂问题求解的结构和策略(原书第6版)》是一本经典的人工智能教材,全面阐述了人工智能的基础理论,有效结合了求解智能
Designingabrochureorwebsitewithoutanartbackground?Stepawayfromthecomputerandread...
《学术家园(精)》内容简介:《学术家园》是《人民政协报》的品牌周刊,很好地体现了政协“学者云集,名家荟萃”的构成特点。今年
《Linux虚拟化数据中心实战》内容简介:本书共8章,采用循序渐进的方式,帮助读者掌握Linux虚拟化架构的部署和使用,包括开源虚拟化
《Web开发入门经典:使用PHP6、Apache和MySQL》以逐步深入的方式介绍了3种重要的开源技术,它们组成了构建一个最活跃的Web站点所需
《治好病的不止药:人人都要了解的生命法则》内容简介:系统健康学的创始人为邱安。系统健康学对人体生理部分的基本认知都源自中医
《质性研究中的访谈:教育与社会科学研究者指南》第一章对使用访谈作为一种研究方法的基本原理进行了讨论,同时也探讨了以叙述作为
《宋词选》内容简介:宋词在我国文学史上,占有相当重要的地位。胡云翼先生选注的《宋词选》,堪称宋词选本中的经典之作。选本打破
Emotion.Ego.Impatience.Stubbornness.Characteristicslikethesemakecreatingsitesand...