本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识,介绍了支撑程序设计语言形式语义的数学理论、方法和概念,这些知识可以用于创造、形式化和证明规则,从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材,也可作为软件开发人员的参考书。
第一章 集合论基础
第二章 操作语义
第三章 归纳原理
第四章 归纳定义
第五章 IMP的指称语义
第六章 IMP的公理语义
第七章 霍尔规则的完备性
第八章 域论
第九章 递归方程
第十章 递归技术
第十一章 高阶类型语言
第十二章 信息系统
第十三章 递归类型
第十四章 不确定性和并行性
《零基础学:微信小程序开发》内容简介:本书从微信小程序的结构及其常用的API开始,讲解了微信开发工具各面板的功能和使用、常用框
《编程珠玑》第一版是我早期职业生涯中阅读过的对我影响较大的书籍之一,在书中首次接触到的很多观点都让我长期受益。作者在这一
《企业级数据与AI项目成功之道》内容简介:大型组织正在竞相实施先进的数据科学。大多数时候,我们的人工智能尝试变成了走进死胡同
多媒体信息处理 本书特色 《多媒体信息处理》由卢官明、焦良葆编著,编写本教材的指导思想是:将音频、图像、视频等媒体信息的处理技术有机地整合在一起,揭示其内在的联...
Linux初步 本书特色 《Linux初步》由多位从事Linux课程教学一线的老师梁平、张兵、刘涛根据多年的教学和研究经验总结编写而成。本书力求用通俗易懂的语言...
国际产品设计基础教程》系列丛书从设计概念开发材料工艺应用、手绘表现技法及产品发展趋势等角度全方位、多层次地教授设计理念和
《零基础学算法 第3版》内容简介:本书分为上、下两篇,共10章。上篇用5章的篇幅介绍了算法和数据结构的基础知识,包括基础算法思想
《张力与限界:中央苏区的革命(1933~1934)》内容简介:中央苏区史,在中共党史中是一段“别样的经历”。中共在1927年国共分裂后
TheHuman-ComputerInteractionHandbook:Fundamentals,EvolvingTechnologies,andEmergi...
如果计算机真正消除了文书工作,那么办公室的垃圾箱为什么老是装得满满的?为何银行自动兑款机前的队伍经常比出纳员窗口的队伍长
计算机常用算法与程序设计案例教程(高等学校计算机专业教材精选·算法与程序设计) 本书特色 首创“案例”形式实现算法与程序设计教学。通过典型案例来引导算法设计的逐...
Inthisengrossingbook,twoworld-renownedscholarscompareandcontrastthecosmology,sci...
MATLAB图像函数查询使用手册 本书特色 MATLAB图像处理工具箱是目前*流行的图像处理工具之一,其函数能有效地实现各种图像算法。本书从实用角度出发,详细介...
《不教一日闲过:回忆齐白石》内容简介:齐白石是融诗、书、画、印为一体的艺术大师,是二十世纪唯一被选为世界文化名人的中国艺术
CATIA V5-6 R2014工程图教程-(含1DVD) 本书特色 本书系统、全面地介绍了catiav5-6r2014的工程图设计的一般过程、方法和技巧,内容...
SpringIntegrationisaJava-basedenterpriseintegrationframeworkthatprovidesalightwe...
MATLAB R2016a神经网络设计与应用28个案例分析 本书特色 本书以MATLAB R2016a为平台编写。全书共分28个案例,主要介绍神经网络工具箱函数...
《Android编程权威指南》内容简介:Big Nerd Ranch是美国一家专业的移动开发技术培训机构,本书主要以训练营的5天教学课程为基础,
AninteractiveandfunwaytolearnC++,oneofthemostpopularhigh-levelprogramminglanguag...
本书主要讲解Windows高级调试思想和工具,并涉及一些高级调试主题。本书内容主要包括:工具简介、调试器简介、调试器揭密、符号文