本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识,介绍了支撑程序设计语言形式语义的数学理论、方法和概念,这些知识可以用于创造、形式化和证明规则,从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材,也可作为软件开发人员的参考书。
第一章 集合论基础
第二章 操作语义
第三章 归纳原理
第四章 归纳定义
第五章 IMP的指称语义
第六章 IMP的公理语义
第七章 霍尔规则的完备性
第八章 域论
第九章 递归方程
第十章 递归技术
第十一章 高阶类型语言
第十二章 信息系统
第十三章 递归类型
第十四章 不确定性和并行性
本书是作者在美国、瑞士的ArtCebter研读设计,以及长期在美国和中国大陆从事产品设计工作的经验总结。书籍内容丰富,图文并茂,信
《Python入门经典:以解决计算问题为导向的Python编程实践》是一本系统而科学的Python入门教程,美国密歇根州立大学等多所美国知名
《守护城市家园:中国城管执法40年》内容简介:城市化是社会发展的必然结果,也是推动社会发展的重要机制。当代中国的快速城市化从
Creo2.0产品设计实用教程 内容简介 全书共分十一章, 主要内容包括: 比较系统地介绍了Pro—E的工作界面、文件的操作以及鼠标的使用 ; 草绘 ; 拉伸、...
《第一推动丛书·综合系列:控制论》内容简介:这是一本阐述控制论的理论和它在各方面应用的综合性、概论性的书。作者维纳是控制论
《Office 2013办公应用从入门到精通》内容简介:本书是指导初学者学习Office 2013的入门书籍。书中详细地介绍了初学者学习Office20
新世纪五笔字型输入法-最新汉字输入法 本书特色 《新世纪五笔字型输入法》:由王玛字型发明人王水民教授授权。配有由中国王码公司提供的新世纪输入法正版软件。新世纪五...
《网红经济思维模式》内容简介:如果你想赚钱,可以入驻电商平台,拥抱互联网。如果你想出名,可以开通自媒体,打通宣传路。如果你
深入浅出MFC是一本介绍MFC(MicrosoftFoundationClasses)程式设计技术的书籍。对於Windows应用软体的开发感到兴趣,并欲使用Vi...
First,businessesdiscoveredqualityasakeycompetitiveedge;nextcamescience.Now,Donal...
《《封神演义》考论》内容简介:本书以正统叙事与民间叙事的冲突融合为切入点,主要讨论了殷商之际的历史及其在正统叙事与民间叙事
《寻找鱼王(经典名作口碑版本)》内容简介:本书是作家张炜具有代表性的一部儿童文学作品,于2015年出版。这部小说贯穿始终的是正
《影视调色学》内容简介:本书从色彩的本质属性入手,通过眼睛与色彩、心理与色彩、影视技术与色彩、影视艺术与色彩、影视调色流程
这是一本关于操作系统基本原理的教科书,其最大特点就是从操作系统的分层概念出发,深入浅出地介绍了操作系统的基本概念和基本框
《工业设计心理学》针对传统工业设计以技术为本和以机器为本所带来的种种弊端,详细阐述了以人为本的设计思想和方法,以期推动国
Themostcomprehensiveguideavailableontherapidly-expandingfieldofHCI,thisbookillus...
Areyouseriousaboutnetworksecurity?ThencheckoutSSH,theSecureShell,whichprovideske...
《算法之美——隐匿在数据结构背后的原理(C++版)》围绕算法与数据结构这个话题,循序渐进、深入浅出地介绍了现代计算机技术中常
大数据猩球-海量数据处理实践指南 本书特色 本书以实用的、可操作的视角解释了大数据——采用黑猩猩和大象的隐喻,基于棒球统计数据集,使用a...
《设计必修课:中文版After Effects CC动画制作+视频剪辑+特效包装设计教程(微课视频全彩版)》内容简介:本书After Effects 是Ad