本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识,介绍了支撑程序设计语言形式语义的数学理论、方法和概念,这些知识可以用于创造、形式化和证明规则,从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材,也可作为软件开发人员的参考书。
第一章 集合论基础
第二章 操作语义
第三章 归纳原理
第四章 归纳定义
第五章 IMP的指称语义
第六章 IMP的公理语义
第七章 霍尔规则的完备性
第八章 域论
第九章 递归方程
第十章 递归技术
第十一章 高阶类型语言
第十二章 信息系统
第十三章 递归类型
第十四章 不确定性和并行性
循序渐进DB2(第2版)——DBA系统管理、运维与应用案例 本书特色 国内*权威的db2图书,由业界领军人物牛新庄博士执笔针对db2技术的*新发展和上一版的读者...
《小大师 和梵高玩儿色彩》内容简介:这是一本帮助您指导孩子无拘无束地理解“什么是美”的书。本书主要针对5~10岁喜爱绘画或对绘
《面向移动设备的深度学习:基于TensorFlow Lite, ML Kit和Flutter》内容简介:详细阐述了与移动设备深度学习开发相关的基本解决方
人体通信的建模、仿真与实现 本书特色宋勇、郝群*的《人体通信的建模仿真与实现》主要结合作者已完成和正在进行的研究工作,系统阐述人体通信的建模、仿真及实现问题,具...
本书透彻地讲解了Flash组件开发、Flash游戏开发,以及SWF文件加解密与Flash文件综合性保护这三个话题。“弥赛亚之书”和“逆水游
你的游戏是否有角色不能任意走动?是否有角色走进障碍物?是否有非玩家角色不能按照团队运动?现在你就可以掌握高级人工智能(AI
《Redis开发与运维》内容简介:本书全面讲解Redis基本功能及其应用,并结合线上开发与运维监控中的实际使用案例,深入分析并总结了
基于形式概念分析的Folksonomy知识发现研究 本书特色 Web2.0下,folksonomy被广泛应用于各类社会化标注系统中,以实现自由、灵活、便捷的网络...
《现代纠错编码与调制理论及应用》系统地介绍了编解码理论的基本概念、基本方法和基本应用。《现代纠错编码与调制理论及应用》内
《图形数据可视化》内容简介:本书主要探讨理解图形数据、建立图形数据结构以及创建有意义的可视化的方法。书中通过精彩的实例分析
《两岸新编中国近代史·晚清卷(全2册)》内容简介:改革开放以来,随着大量过去深藏不露的档案文献史料的开放和全球化进程,以及国
《Scala编程(第5版)》内容简介:本书由直接参与Scala开发的一线人员编写,深入介绍Scala这门结合面向对象和函数式的编程语言的核
《笺事:花笺信札及其他》内容简介:近年来,纸品收藏日趋兴盛,花笺、书札是其中的重点,其审美价值与文化价值都得到社会的高度关
内容简介本书全面系统地论述了信号与系统分析的基本理论和方法。全书共11章,内容包括:信号与系统、线性时不变系统,周期信号的
《Java EE互联网轻量级框架整合开发》内容简介:随着移动互联网的兴起,以Java技术为后台的互联网技术占据了市场的主导地位,而在J
本书全面介绍了交互设计的基本理论,从界面设计、交互原理到用户体验,囊括了所有专业知识点,并通过列举大量具有开创性的交互设
自1993年COM首次发布以来,COM本身经历了重大的变化,但是它的基本思想和结构一直保持相对稳定,这也正说明了COM思想的魅力所在。
从零开始学习Cocoa的首选图书.涵盖了最新的Mac编程技术高级MacOSX开发者们联手强烈推荐..MacOSX编程图书的标杆AaronHillegass多年
电子商务网站建设与管理 本书特色 《电子商务网站建设与管理》特色:遵循“理论够用、注重应用”原则,把培养学生的动手能力与岗位实践能力放在首位,注重实际项目开发能...
《中国私募基金投资年度报告2015》内容简介:“私募股权(PE)”、“阳光私募”(即对冲基金)和“私募房地产”,是全球资产规模最大