本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识,介绍了支撑程序设计语言形式语义的数学理论、方法和概念,这些知识可以用于创造、形式化和证明规则,从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材,也可作为软件开发人员的参考书。
第一章 集合论基础
第二章 操作语义
第三章 归纳原理
第四章 归纳定义
第五章 IMP的指称语义
第六章 IMP的公理语义
第七章 霍尔规则的完备性
第八章 域论
第九章 递归方程
第十章 递归技术
第十一章 高阶类型语言
第十二章 信息系统
第十三章 递归类型
第十四章 不确定性和并行性
《2024年MBA、MPA、MPAcc、MEM管理类联考综合能力逻辑历年真题分类精解》内容简介:本书针对逻辑题型,深入分析探究,用“举题型讲
《通信电路原理学习指导书》共分8章,分别讲述了绪论、滤波器、高频放大器、非线性电路、正弦波振荡器、调制与解调、锁相环路以及
《高信用社会:信托与信用制度》内容简介:“人无信不立,事无信不成,商无信不兴”。信用是社会运行的基石和商业成功的秘诀,而信托
,清华大学建筑学院教授,博士生导师,国家一级注册建筑师1978年考入清华大学建筑系,曾在日本学习和工作七年。长期致力于住宅精
《人工智能时代:新兴媒介、产业与社会(第二辑)》内容简介:本书由上海交通大学媒体与传播学院、国际传播学会(ICA)共同主办,以
《Bootstrap实战(第2版)》内容简介:Boostrap是Twitter公司内部的一个工具,开源之后迅速得到了各方的认可。本书基于最新Bootstr
《遇见台湾·古早的味道》内容简介:《遇见台湾:古早的味道》是一本传统台湾美食文化的书。“古早”在闽南语中意为“过去、曾经”
《晏殊词选》内容简介:晏殊,字同叔,因他死后谥为元献,所以后人又称之为晏元献。抚州临川(今江西抚州)人。为北宋前期词坛领袖
《Java面向对象编程》内容由浅入深,紧密结合实际,利用大量典型实例,详细讲解Java面向对象的编程思想、编程语法和设计模式,介
《商业银行操作风险量化分析》内容简介:本书以信度理论和贝叶斯网络为主要工具,研究了操作风险的高级计量法与预警机制,并针对中
本书系统、深入地介绍了通信系统及通信网的基本原理及基本分析方法,是通信及信息专业的专业基础课教材。全书共二十一章,内容包
《计算机导论(第6版)》面向非计算机专业人员和学生介绍计算机基础知识,内容精美,语言流畅、图文并茂,贴近实际,是一本不可多得
《海蒂的花园》内容简介:任何时候花园都不会尽如人意,无论付出多少努力;任何时候花园里都能找到美好,无论历经多少挫折。在连餐
《数字化魔方:数字化转型的创新思维模式》内容简介:何为数字化转型?进行数字化转型需要做什么,具体应该怎么做?如何评估组织能
《知道点世界哲学》内容简介:是谁提出“人不能两次踏进同一条河流”?为什么斯宾诺莎是被骂名包围的哲学家?俄罗斯的飞翔的双头鹰
ControlLogix 系统实用手册 内容简介 随着计算机技术的迅猛发展,工业控制产品加快了推陈出新的步伐,可编程自动化控制器问世几年以来,已逐步发展成为操作...
《神经网络模型及其MATLAB仿真程序设计》重点介绍了MATLAB6.5神经网络工具箱中各种神经网络模型及基本理论,以及各种神经网络模型
我要学office2007高效办公三合一 内容简介 本书分为4篇,共12章。前三篇详细介绍了Word、Excel和PowerPoint的基础操作,第四篇以综合实...
《数据之美》内容简介:这是一本教我们如何制作完美可视化图表,挖掘大数据背后意义的书。作者认为,可视化是一种媒介,向我们揭示
在《SOA&Web2.0:新商业语言》中,SandyCalter示范了将企业解构为“组件化”业务模式的方法,然后用相互连接的、可重复的并且能快