作者:
[美国] 玛格丽特·米切尔
出版社: 电子工业出版社
原作名: Foundations for Programming Languages
出版年: 2006-11
页数: 563
定价: 68.00元
装帧: 简裝本
丛书: 国外计算机科学教材系列
ISBN: 9787121032240
出版社: 电子工业出版社
原作名: Foundations for Programming Languages
出版年: 2006-11
页数: 563
定价: 68.00元
装帧: 简裝本
丛书: 国外计算机科学教材系列
ISBN: 9787121032240
内容简介 · · · · · ·
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适合用于高等研究的技术参考书。
程序设计语言理论基础的创作者
· · · · · ·
-
![[美国] 玛格丽特·米切尔](https://img3.doubanio.com/view/personage/m/public/f4ea69482e006ccc55ffc53e670c74b7.jpg)
玛格丽特·米切尔 作者
目录 · · · · · ·
丛书信息
· · · · · ·
国外计算机科学教材系列(共298册)，
这套丛书还有
《UNIX初级教程》《现代密码学理论与实践》《密码编码学与网络安全》《密码编码学与网络安全――原理与实践（第八版） （英文版）》《UNIX初级教程(第3版)》
等
。
喜欢读"程序设计语言理论基础"的人也喜欢的电子书 · · · · · ·
支持 Web、iPhone、iPad、Android 阅读器
喜欢读"程序设计语言理论基础"的人也喜欢 · · · · · ·
程序设计语言理论基础的书评 · · · · · · ( 全部 0 条 )
论坛 · · · · · ·
在这本书的论坛里发言这本书的其他版本 · · · · · · ( 全部2 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 语言、思维与智能 (pem)
- 理论计算机科学——程序设计语言 (网络流)
- 程序解体诸因 (在坡华子)
- Ramiel的编程语言理论读物 (弱爆了的Ramiel)
- 杂糅的数学、物理、经济学、力学、结构、建筑、电子、计算机书籍 (雨王拧发条鱼)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
订阅关于程序设计语言理论基础的评论:
feed: rss 2.0
0 有用 弱爆了的Ramiel 2012-11-08 10:43:46
简单翻了一遍就还回去了，作者自己设计了一种类似于lambda表达式的语言来讲解，翻译较差。
0 有用 马蹄北去 2022-05-17 13:36:27
前八章，大体对应前言中表1和表2部分的内容。最合理的读法是按照前言设计的不同路线顺序读，书本身内容的前后排布比较散乱。翻译校对质量均差
0 有用 昳晔 2020-06-11 23:14:43
当字典查，没SICP好用啊
0 有用 马蹄北去 2022-05-17 13:36:27
前八章，大体对应前言中表1和表2部分的内容。最合理的读法是按照前言设计的不同路线顺序读，书本身内容的前后排布比较散乱。翻译校对质量均差
0 有用 昳晔 2020-06-11 23:14:43
当字典查，没SICP好用啊
0 有用 弱爆了的Ramiel 2012-11-08 10:43:46
简单翻了一遍就还回去了，作者自己设计了一种类似于lambda表达式的语言来讲解，翻译较差。