本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识,介绍了支撑程序设计语言形式语义的数学理论、方法和概念,这些知识可以用于创造、形式化和证明规则,从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材,也可作为软件开发人员的参考书。
第一章 集合论基础
第二章 操作语义
第三章 归纳原理
第四章 归纳定义
第五章 IMP的指称语义
第六章 IMP的公理语义
第七章 霍尔规则的完备性
第八章 域论
第九章 递归方程
第十章 递归技术
第十一章 高阶类型语言
第十二章 信息系统
第十三章 递归类型
第十四章 不确定性和并行性
WebRTC是一个支持网络浏览器进行实时语音对话或视频对话的软件架构。《LearningWebRTC中文版》使用形象的案例介绍,逐步深入地阐
《Python自然语言处理(影印版)》提供了非常易学的自然语言处理入门介绍,该领域涵盖从文本和电子邮件预测过滤,到自动总结和翻译
FlashActionScript3.0的出现,不仅从形式上改变了ActionScript,而且从本质上改变了ActionScript,使ActionScrip...
《中国数字营销十年风云录》内容简介:十年之间,光阴流转,技术跃迁,媒介演变,数字营销的玩法越来越多样。平台更加细分化,技术
Web2.0maybeanelusiveconcept,butonethingiscertain:usingtheWebasmerelyameansofretr...
社会心理学已经从曾经的边缘地位进入现代心理学的核心,因为它揭示个体机能的心理,丰富我们社会的灵魂。通过严密的实验和实地研
《电子商务大赢家:通过用户体验赢取利润》首次将经营战略和用户体验与在线设计的艺术和科学结合起来,开辟了从企业战略家和营销经
《全国计算机等级考试教程:二级MS Office高级应用》内容简介:本书依据教育部考试中心最新发布的《全国计算机等级考试大纲》以及作
GerdGigerenzersinfluentialworkexaminestherationalityofindividualsnotfromthepersp...
《儿童情绪心理学》内容简介:在家庭教育过程中,细心的父母能够很快捕捉孩子的情绪变化,但大多时候难以理解其原因。孩子的情绪随
《Kubernetes微服务实战》内容简介:本书正是你一直期待的那本书。本书包罗万象,会介绍如何开发微服务并将其部署在Kubernetes平台
本书系统地阐释了OFDM技术的基本原理、关键技术及与其他一些技术的结合,重点分析了OFDM技术在无线物理层上的一些关键的问题,并
《数字经济的逻辑》内容简介:数字经济是世界科技革命和产业革命的先导,是经济增长的新引擎,如今己成为我国经济发展的重要战略方
《国外计算机科学教材系列•分布式计算(第2版)》涵盖了分布式计算理论的主要内容,强调不同模型之间的相似点,同时也解释了它们之
数据库重构 本书特色 本书首次专门讨论数据库重构,向数据专业人员展示了如何运用重构、测试驱动及其他敏捷技术进行演进式数据库开发。书中通过许多实际例子,详细说明了...
《企业品牌管理案例》内容简介:本教材将通过解剖案例的方式,阐述企业品牌管理中的诸多知识点,涉及品牌的概念与要素、品牌战略定
数据库系统原理(计算机及应用专业独立本科段)2006版全国高等教育自学考试指定教材 内容简介 《2007年版全国高等教育自学考试指定教材:数据库系统原理》是全国...
《汽车标识符号全知道》内容简介:《汽车标识符号全知道》按品牌标识、车身上标识、驾驶操作标识的顺序,以图解的方式对汽车上常见
《计算机科学丛书•C++程序设计》保持了Liang博士系列丛书中一贯的标志性的教与学的哲学:以实例教,由实践学。通过使用他所提出的
《Asterisk权威指南(原书第5版)》内容简介:本书第5版覆盖Asterisk16的最新发展。本书不仅全面讲述了Asterisk最新技术和应用,还