本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识,介绍了支撑程序设计语言形式语义的数学理论、方法和概念,这些知识可以用于创造、形式化和证明规则,从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材,也可作为软件开发人员的参考书。
第一章 集合论基础
第二章 操作语义
第三章 归纳原理
第四章 归纳定义
第五章 IMP的指称语义
第六章 IMP的公理语义
第七章 霍尔规则的完备性
第八章 域论
第九章 递归方程
第十章 递归技术
第十一章 高阶类型语言
第十二章 信息系统
第十三章 递归类型
第十四章 不确定性和并行性
《工艺之道》内容简介:《工艺之道》是柳宗悦最早的关于工艺性质的论文集。在本书中,他一反潮流地引导大众关注日常器物的健康之美
《Maven应用实战》内容简介:Maven是Java项目构建工具,由资深Java讲师结合多年的教学经验编写,是为数不多的帮助程序员从零开始认
《Linux内核观测技术BPF》内容简介:本书是一本面向系统工程师的实践指南,皆在帮助他们获得Linux内核中BPF虚拟机的专业知识。通过
FromtheinventorofthePalmPilotcomesanewandcompellingtheoryofintelligence,brainfun...
《诸子百家普及丛书(套装10册)》内容简介:本丛书以王志民教授主持承担的山东省齐文化传承创新示范区建设重大工程项目为基础。丛
CorelDRAW服装结构设计实用教程-(附光盘) 本书特色 本书简单介绍了corelDRAW 11的基本功能,与服装设计制图相关的工具与功能;介绍了服装原型的...
《音乐漫游记:带着古典音乐去旅行》内容简介:每一首音乐作品,都是一幅鲜活的游历图,诉说了音乐家自己的生活故事;每一首音乐作
《陈子涛传》内容简介:本书为雨花台烈士传丛书之一,记叙了陈子涛烈士的一生。陈子涛1920年出生于广西玉林。1938年,初中毕业的陈
BillFranks是Teradata公司全球合作伙伴计划的首席分析专家,他负责跟踪研究分析领域的前段趋势,帮助客户理解Teradata和其分析合
《品中国文人1》内容简介:中国历史漫长而丰富。中国很早就有记载自己民族历史的优秀传统。本书尝试着从中国历代大文人的角度来勾画
本书概念清晰、内容新颖、实例详尽,是一本有关设计、实现和有效使用C语言库函数,掌握创建可重用C语言软件模块技术的参考指南。
《斯坦福社会创新评论09》内容简介:区块链、人工智能、3D打印等在给社会创新领域带来新的发展,是否也触发了科技的“黑暗面”?技
《华杉讲透《资治通鉴》9》内容简介:《资治通鉴》从战国写到五代十国,生动展现了十六个朝代一千三百六十二年历史中一个个活生生的
UserexperiencedesignisthedisciplineofcreatingausefulandusableWebsiteorapplicatio...
《劫持》内容简介:《劫持》是一本探讨人与科技的关系的书,基于一位心理学博士20年的临床经验及其作为神经认知科学研究者的脑—电
图书简介:这部具有开创性的著作为设计师、艺术指导和学生,无论他们的经验如何,提供了通向成功的设计的独特方法。在他对使视觉
《自适应学习:人工智能时代的教育革命》内容简介:本书以浅显生动的语言讲述最前沿的理念——人工智能与自适应学习将如何改变教育
不能说的秘密-Photoshop风光摄影后期创意调色圣经-含光盘1张 本书特色 介绍风光摄影后期常见问题处理阐述风光摄影后期各种创作思路解析众多风光摄影后期调色...
250陶瓷创意设计秘籍,ISBN:9787102051017,作者:(英)阿特金著,杨志译作者简介 贾克奎·阿特金(JacquiAtkin)是一位职业陶艺
从文化史料建设或者远距离窥视伟人私生活尤其是婚恋生活的角度,莎乐美与弗洛伊德等人的通信无疑具有非常重要的意义,同时也给本