作者:
Glynn Winskel
出版社: 中信出版社 机械工业出版社
原作名: The Formal Semantics of Programming Languages
译者: 宋国新 等
出版年: 2004-1
页数: 283
定价: 32.00元
装帧: 平装
丛书: 计算机科学丛书
ISBN: 9787111131533
出版社: 中信出版社 机械工业出版社
原作名: The Formal Semantics of Programming Languages
译者: 宋国新 等
出版年: 2004-1
页数: 283
定价: 32.00元
装帧: 平装
丛书: 计算机科学丛书
ISBN: 9787111131533
内容简介 · · · · · ·
本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识，介绍了支撑程序设计语言形式语义的数学理论、方法和概念，这些知识可以用于创造、形式化和证明规则，从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材，也可作为...
目录 · · · · · ·
丛书信息
· · · · · ·
计算机科学丛书(共612册)，
这套丛书还有
《操作系统》《数据挖掘》《现代计算机系统与网络（原书第5版）》《遥感数字影像处理导论》《计算机组成与设计》
等
。
喜欢读"程序设计语言的形式语义"的人也喜欢的电子书 · · · · · ·
支持 Web、iPhone、iPad、Android 阅读器
喜欢读"程序设计语言的形式语义"的人也喜欢 · · · · · ·
程序设计语言的形式语义的书评 · · · · · · ( 全部 1 条 )
Zen
计算机为什么可以按你所说的去做？
计算机为什么会按人类的指令去执行？这本书用形式化语言（数学）证明了这个可能性。人类的语言如何“翻译”（映射）成机器语言？“翻译”过程如何保证了“语义”不变性。 当我们在计算机上撸代码时，如a=1，我们心里明白，我们是要将1赋值到变量a中，可是计算机并不能理解这句...
(展开)
> 更多书评 1篇
论坛 · · · · · ·
| 形式语义学的经典入门书籍 | 来自star | 2008-12-15 14:26:14 |
这本书的其他版本 · · · · · · ( 全部2 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 语言、思维与智能 (pem)
- 理论计算机科学——程序设计语言 (网络流)
- 闲着没事读读书（四） (鹿小羽)
- 程序解体诸因 (在坡华子)
- 形式化方法书目 (Char)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有274人想读，手里有一本闲着?
订阅关于程序设计语言的形式语义的评论:
feed: rss 2.0
2 有用 马蹄北去 2020-09-17 14:07:21
主要是三类语义和高阶类型语言，比较偏向指称语义。需要一定的偏序理论和类型论基础，有难度
0 有用 我坏故我在 2005-11-05 01:58:48
我要回头玩技术~~~
0 有用 firefly 2010-04-21 15:46:15
终于看完了。。。不知所谓的一本书
0 有用 郭郭要变更强大 2013-05-16 18:53:32
入门级别的经典！！
0 有用 hooliganstreet 2014-03-12 15:26:17
已购.
0 有用 虎子 2021-05-10 02:29:02
Fremont清书大行动。从大学学这门课到现在，几乎没怎么读懂的一本书。
2 有用 马蹄北去 2020-09-17 14:07:21
主要是三类语义和高阶类型语言，比较偏向指称语义。需要一定的偏序理论和类型论基础，有难度
0 有用 Ran 2018-06-12 01:45:10
之前我竟然加了语言学标签（黑人问号），翻译太直了，根本无法理解那些名词，不如看原版。
0 有用 hooliganstreet 2014-03-12 15:26:17
已购.
0 有用 郭郭要变更强大 2013-05-16 18:53:32
入门级别的经典！！