本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识,介绍了支撑程序设计语言形式语义的数学理论、方法和概念,这些知识可以用于创造、形式化和证明规则,从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材,也可作为软件开发人员的参考书。
第一章 集合论基础
第二章 操作语义
第三章 归纳原理
第四章 归纳定义
第五章 IMP的指称语义
第六章 IMP的公理语义
第七章 霍尔规则的完备性
第八章 域论
第九章 递归方程
第十章 递归技术
第十一章 高阶类型语言
第十二章 信息系统
第十三章 递归类型
第十四章 不确定性和并行性
《荷塘月色:朱自清精读》内容简介:《荷塘月色:朱自清精读》是“壹本”系列之一,从当下读者爱读、想读和需要读的角度,精选著名
本书列出了100个改变建筑的伟大观念,其中很多观念至今仍在深刻影响着我们这个时代的建筑发展。书中不可避免地侧重于对一些较新的
情感计算与情感机器人系统 本书特色 《情感计算与情感机器人系统》在介绍情感计算、情感建模以及人机情感交互概念的基础上,分析了当前人机情感交互的研究前沿,总结了在...
互联网时代:全球第一部全面、系统、深入、客观解析互联网的纪录片 本书特色 全球**次全面、系统、深入、客观解析互联网中央电视台热播纪录片《互联网时代》同名书免费...
《中华传统节日诗词故事:清明·端午》内容简介:节日诗词,把民间习俗和文人意趣结合在一起,很好地体现了中华文化源远流长、丰富
《为数据而生》内容简介:在大数据概念如此流行的今天,为什么要读这本书?中国大数据领军人、大数据创新与实践一线专家、百万级畅
每个人都会面临这样的处境:进行企划提案时,要用什么方法来汇整资讯与发展点子?哪一种思考法能让你写出逻辑清楚、条理分明、容
《破解牛股密码(第2版)》内容简介:本书通过对市场中个股的描述,总结出牛股上涨的内在因素和外在图形特征,通过对牛股内外在特征
SandeepKumarPatel是一位高级web工程师,技术博客www.tutorialsavvy.com的创始人,该博客自2012年创建以来一直被广泛阅读。...
IfyouareacompilerdeveloperwhowantstousethestrongoptimizationtechniquesofLLVMandl...
序列图像中的目标分析技术 本书特色 本书以序列图像中目标分析技术的基本过程为主线,系统地介绍了目标分析的基本理论,详细讲解了作者的研究成果。绪论重点对序列图像中...
《国际经济学教程(第二版)》内容简介:本书主要内容有国际贸易的理论与政策、国际收支理论、汇率理论、要素的国际流动理论、国际
《中国文化之根:先秦七子对中国文化的奠基》内容简介:受独特文化土壤的影响,中国文化有着鲜明的特殊性。先秦诸子就是在这片土壤
Haralambos(Babis)Marmanis博士是一个把机器学习技术应用于工业界的先行者,也是供应管理的世界级专家。DmitryBabenko曾经为银行
Functionalprogramming(FP)isaprogrammingstyleemphasizingfunctionsthatreturnconsis...
《Web性能实战》内容简介:在Web变得越来越复杂的时代,解决Web性能问题正当时。本书旨在帮助读者创建更加快速的网站,内容涵盖Web
《叶秀山全集·第六卷》内容简介:本选题分类结集叶秀山先生全部已经出版的专著,在学术期刊上发表的所有论文,以及部分笔记、札记
科技的發展讓我們的生活變得複雜,連向來簡單的家用電器都被加上繁複的控制面板,更別說家裡堆滿了各式各樣的遙控器。我們必須要
AUTO CAD2008机械绘图实用教程 内容简介 本书以AutoCAD 2008简体中文版为基础,系统地介绍了AutoCAD的基本操作及使用AutoCAD绘制...
微机原理与接口技术 内容简介 本书是省精品课程教材,依据电子信息科学与电气信息类平台课程教学基本要求编写,以80x86为主,介绍微机原理的基本理论与技术应用。主...