本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识,介绍了支撑程序设计语言形式语义的数学理论、方法和概念,这些知识可以用于创造、形式化和证明规则,从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材,也可作为软件开发人员的参考书。
第一章 集合论基础
第二章 操作语义
第三章 归纳原理
第四章 归纳定义
第五章 IMP的指称语义
第六章 IMP的公理语义
第七章 霍尔规则的完备性
第八章 域论
第九章 递归方程
第十章 递归技术
第十一章 高阶类型语言
第十二章 信息系统
第十三章 递归类型
第十四章 不确定性和并行性
《诗自四季来》内容简介:本书选取了100首古诗词,以春夏秋冬为序展开,以生命体验与文化贯通相融相生的方式切入,从言语组织方式的
《C++编程规范:101条规则准则与最佳实践》中,两位知名的C++专家将全球C++界20年的集体智慧和经验凝结成一套编程规范。这些规范可
《“一带一路”商业模式与风险管理》内容简介:“一带一路”倡议的提出和实施为中国企业“走出去”提供了一个前所未有的历史机遇。
本书从软件开发者角度出发,详细介绍了现代计算机体系结构,重点讲解如何处理存储器问题以及如何写出能直接与底层硬件交互并充分
Visual Basic程序设计 本书特色 为了适应信息化时代的需求,各高校对大多数专业都开设了一定的计算机语言课程,有的讲授C或C++语言,有的讲授Visua...
Excel2010数据透视表应用大全 本书特色 2012年1月6日到2012年3月8日,可参加晒单抽奖活动:【excelhome好礼巨献 晒单有奖可拿】 ...
《一人饮》内容简介:《一人饮》全面记录了当代知名陶艺家董全斌做陶、饮茶和思考的日常,高清呈现其百余幅代表作品,由李宗盛、杨
《数学战略家:谷超豪传》内容简介:《谷超豪传(数学战略家)》是《大家丛书》系列丛书之一。谷超豪,数学家。复旦大学教授,中国科
《BLOG启示录:WordPress博客建设与经营》分三大部分,共17章。第一部分(1~5章)主要是介绍Web2.0、博客,以及LAMP的安装和架设,
《猫派》内容简介:◆十二则刊载于《纽约客》杂志的“现象级”短篇小说 ◆网络上超三百万人次转发,HBO即将改编影视 ◆人的情感,真
五笔字根查记手册 内容简介 许多人觉得五笔字型难学难记,难就难在五笔字型的编码与拆分。初学五笔字型的人都有这样的感觉,碰到一个汉字,往往**个字根能够准确地拆分...
作为jQueryMobile的入门级读物,BradBroulik所著的《jQueryMobile快速入门》以示例方式讲解了jQueryMobile的基本知识和核...
Updatedandrevisedtoreflectchangestocascadingstylesheets(CSS)developmentprocedure...
SOLIDWORKS高级曲面教程-2015版 本书特色 美国ds solidworks公司所著的《solidworks高 级曲面教程》(2015版)根据soli...
《犯罪参与论》内容简介:本书是对犯罪参与这一刑法学中复杂的重要基础理论问题进行全面系统深入论述的学术专著。其在对我国刑法采
CAD/CAM专业英语 本书特色 本书详细地介绍了机械类计算机辅助设计专业学生应掌握的专业术语英语表示方法。内容包括金属材料及热处理、锻压、焊接、金属切削机床、...
一个会点石成金的神仙分别问三个人想要什么。第一个人说,我要很多很多的金子,然后神仙用手指往他面前的石头一点,石头就变成了
【董龙飞】毕业于北京航空航天大学,自动控制系硕士。为人热诚、执著、正直和幽默。现供职于Adobe系统软件(北京)有限公司,是A
虚拟现实交互设计 本书特色 本书从虚拟现实的基础理论出发,内容涵盖设计艺术学领域多个专业的知识,通过具体的原创设计案例分析,在3ds max和vrp平台,虚拟现...
《多工位级进模实例精选》内容简介:本书结合现代模具企业对模具设计师的工作要求,以先进、实用、通用为目的。全书分为2篇,每篇各