本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识,介绍了支撑程序设计语言形式语义的数学理论、方法和概念,这些知识可以用于创造、形式化和证明规则,从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材,也可作为软件开发人员的参考书。
第一章 集合论基础
第二章 操作语义
第三章 归纳原理
第四章 归纳定义
第五章 IMP的指称语义
第六章 IMP的公理语义
第七章 霍尔规则的完备性
第八章 域论
第九章 递归方程
第十章 递归技术
第十一章 高阶类型语言
第十二章 信息系统
第十三章 递归类型
第十四章 不确定性和并行性
《学习PYTHON—做个有编程能力的设计师》不是纯粹的Python编程学习,而是在学习基本Python编程语言时阐述辅助设计的方法,从Pyth
《地理信息技术与地理教学的整合》内容简介:本书总结了地理信息技术应用于地理教学的研究成果,从理论上探讨了地理信息技术的教学
《中国城镇化:和谐与繁荣之路》内容简介:中国特色的新型城镇化是实现中国社会和谐和全面繁荣的必由之路,也是将“中国梦”变为现
《机器学习入门:Python语言实现》内容简介:本书旨在为读者提供与机器学习有关Python 3的基本编程概念。前4章快速介绍了Python 3、
《坐长凳者》内容简介:按照古老的犹太习俗,当拉比在犹太会堂讲道的时候,坐在第一排听课的一定是非常聪明的人,坐在最后一排听课
《企业品牌管理案例》内容简介:本教材将通过解剖案例的方式,阐述企业品牌管理中的诸多知识点,涉及品牌的概念与要素、品牌战略定
《Kubernetes微服务实战》内容简介:本书正是你一直期待的那本书。本书包罗万象,会介绍如何开发微服务并将其部署在Kubernetes平台
《思维导图阅读:能模仿的写作》内容简介:5篇名作精读、43幅场景式思维导图、27篇作文点评——本书用思维导图打通从阅读到写作的通
《解密:腰椎间盘突出症》内容简介:腰椎间盘突出症导致的疼痛严重影响到患者的身心健康与生活质量,尤其是各种各样、难以忍受、长
《无线局域网设计与优化》内容简介:《无线局域网设计与优化》从WLAN的起源和演进出发,简洁而又直观地描述了基于IEEE 802.11 协议
开源软件是当今计算机工业界最具活力的领域,例如Linux这个公开了源代码的UNIX操作系统在服务器市场上已经与许多大公司的产品分庭
《3G的业务及管理》力图全面系统地分析3G业务,在介绍业务网络的整体架构和3G业务的特点后,重点对各种业务(包括3G特色业务)的技
在网络技术和电子商务飞速发展的今天,Web应用安全面临着前所未有的挑战。所有安全技术人员有必要掌握当今黑客们的武器和思维过程
《Python编程零基础入门》内容简介:本书是一本真正地从零开始讲解Python编程的图书,它旨在让零基础读者较快地掌握编程知识,并能
《Oracle9i&10g编程艺术:深入数据库体系结构》是讲述Oracle数据库公证的权威指南,凝聚了世界顶尖的Oracle专家ThomasKyte数十年的
《Python安全攻防》内容简介:随着近几年互联网的发展,Python在各行各业发挥着举足轻重的作用。除应用在科学计算、大数据处理等人
《Scrum捷径:敏捷策略、工具与技巧》内容简介:本书Scrum作为主流的敏捷方法,因其简单易行而在软件行业迅速普及。但要想取得成效
《偶遇(2021版)》内容简介:这是鲁豫与他人的心灵偶遇,也是与这个时代的偶遇。书中,鲁豫久违地打开自己,拥抱世界,以半生的阅
《小学生必背常考古诗词(五年级)》内容简介:丛书收入小学一至六年级语文教材要求背诵学习的古诗词及经典的拓展阅读诗词,以年级
作者写作本书的灵感以及作者能提供的大量翔实的信息都直接来源于作者在UMTS论坛担任主席内5年的经历。在它最为活跃的阶段,这个国