程序设计语言的形式语义读书介绍

计算机科学,形式语义,编程语言,计算机,程序设计语言,编程,理论,语义,

Glynn Winskel      ISBN:9787111131533    原作名/别名:《The Formal Semantics of Programming Languages》

程序设计语言的形式语义摘要

本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。

　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识，介绍了支撑程序设计语言形式语义的数学理论、方法和概念，这些知识可以用于创造、形式化和证明规则，从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材，也可作为...

作者简介

本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。

　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识，介绍了支撑程序设计语言形式语义的数学理论、方法和概念，这些知识可以用于创造、形式化和证明规则，从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材，也可作为软件开发人员的参考书。

未发行或暂未收录

设计师的设计材料书 设计,材料,工业设计,艺术设计,手绘1,交互设计,　2020-02-20 …

设计中的设计 | 全本 设计,原研哉,日本,艺术,设计学,Design,藝術設計私生活,设计中的设计,　2020-02-20 …

C++语言的设计和演化(英文版) C++,programming,计算机,编程,C/C++,计算技术史,经典,程序设计,　2020-02-20 …

设计中的设计 设计,原研哉,日本,设计中的设计,艺术,设计与文化,Design,设计理论,　2020-02-20 …

现代平面设计巨匠田中一光的设计世界 平面设计,田中一光,设计,日本,艺术,Design,設計,无印良品,　2020-02-20 …

C++语言的设计和演化 C++,编程,C/C++,计算机,编程语言,程序设计,经典,programming,　2020-02-20 …

C++语言的设计与演化 C++,编程,C/C++,程序设计,计算机,编程语言,计算机科学,编程艺术,　2020-02-20 …

日常生活中的设计2：设计师的世界 设计,技能提高,design,平面设计,001设计,室内设计&装修&家居,　2020-02-20 …

C++语言的设计和演化 　2020-09-20 …

话语的转义 历史哲学,文化研究,史学理论,历史,文学批评,文学理论,美国,语言学,　2020-02-20 …

程序设计语言的形式语义大结局

剧情呢，免费看分享剧情、挑选影视作品、精选好书简介分享。