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

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

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

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

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

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

作者简介

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

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

未发行或暂未收录

C语言程序设计 C语言,C,程序设计,编程,计算机,C/C++,编程语言,计算机科学,　2020-02-20 …

现代X86汇编语言程序设计 汇编语言,计算机科学,计算机,SIMD,汇编,汇编语言程序,X86,Programming,　2020-02-20 …

汇编语言程序设计 汇编,汇编语言,计算机,编程,Linux,程序设计,计算机科学,Programming,　2020-02-20 …

Windows环境下32位汇编语言程序设计 汇编语言,汇编,计算机,编程,编程与语言,汇编语言程序设计,Windows,AssemblyLanguage,　2020-02-20 …

Python语言程序设计 Python,计算机,计算机技术,計算機,python,计算机与信息,算法,程序设计,　2020-02-20 …

Intel汇编语言程序设计 汇编,计算机,汇编语言,Assembly,编程,程序设计,计算机技术,计算机科学,　2020-02-20 …

Go 语言程序设计 go语言,golang,Go,编程,计算机,Programming,软件开发,programming,　2020-02-20 …

Intel汇编语言程序设计 汇编,计算机,Assembly,程序设计,编程,计算机科学,程序設計,程序员,　2020-02-20 …

Windows环境下32位汇编语言程序设计 汇编语言,汇编,操作系统,计算机,编程,程序&设计,计算机科学,汇编思想,　2020-02-20 …

C语言程序设计现代方法 C语言,C,编程,程序设计,计算机,编程语言,软件开发,Programming,　2020-02-20 …

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

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