程序设计语言理论基础 azw3 网盘高速下载地址大全免费

azw3电子书下载地址

其他格式下载地址

下载地址
[pdf] 程序设计语言理论基础

程序设计语言理论基础书籍详细信息

ISBN：9787121032240
作者：[美] John C. Mitchell
出版社：中国工信出版集团电子工业出版社
出版时间：2006-11
页数：563
价格：68.00元
纸张：暂无纸张
装帧：平装
开本：暂无开本
语言：暂无语言
丛书：国外计算机科学教材系列
原作名：Foundations for Programming Languages
适合人群：大学计算机专业学生, 程序员, 软件工程师, 研究生, 对计算机科学理论感兴趣的人
TAG：计算机科学 / 编程语言 / 软件工程 / 程序设计 / 数据结构 / 理论基础
豆瓣评分：7.8
更新时间：2025-05-07 01:08:42

内容简介：

本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适合用于高等研究的技术参考书。

书籍目录：

第1章引言 1.1 模型程序设计语言 1.2 λ记法 1.3 等式，归纳和语义 1.4 类型和类型系统 1.5 记法和数学约定 1.6 集合论基础知识 1.7 语法和语义 1.8 归纳法第2章 PCF语言 2.1 引言 2.2 PCF语法 2.3 PCF程序及其语义 2.4 PCF归纳和符号解释程序 2.5 PCF编程样例，表达能和限度 2.6 PCF的变体和扩展第3章泛代数及代数数据类型 3.1 引言 3.2 代数规范概述 3.3 代数，基调和项 3.4 等式，可靠性和完备性 3.5 同态和始代数 3.6 代数数据类型 3.7 重写系统第4章简单类型化λ演算 4.1 引言 4.2 类型 4.3 项 4.4 证明系统 4.5 Henkin模型，可靠性和完备性第5章类型化λ演算模型 5.1 引言 5.2 域论模型和不动点 5.3 不动点归纳 5.4 计算适当性和完全抽象 5.5 递归理论模型 5.6 部分等价关系和递归第6章命令式程序 6.1 引言 6.2 while程序 6.3 操作语义 6.4 指称语义 …… 第7章范畴和递归类型第8章逻辑关系第9章多态与模块性第10章类型适应性和相关概念第11章类型推理参考文献

作者简介：

暂无相关内容，正在全力查找中

其它内容：

暂无其它内容！

下载点评

注释(394+)
如获至宝(454+)
直链(879+)
MOBI(755+)
职场(984+)
傻瓜式服务(629+)
科研(637+)
打包(154+)
力荐(255+)
物超所值(632+)
雪中送炭(613+)
原版(988+)
免密(537+)
自学(831+)
学生(486+)
满意(145+)
虎头蛇尾(815+)
必下(792+)

下载评论

用户1744060531： ( 2025-04-08 05:15:31 )
双语版电子书下载稳定，支持EPUB/MOBI格式导出，操作便捷。
用户1741731941： ( 2025-03-12 06:25:41 )
精校的小说资源，互动设计提升阅读体验，推荐下载。
用户1728113222： ( 2024-10-05 15:27:02 )
图文版电子书下载秒传，支持PDF/AZW3格式导出，操作便捷。
用户1730391095： ( 2024-11-01 00:11:35 )
精校版本报告资源，PDF/AZW3格式适配各种阅读设备，体验良好。
用户1731469047： ( 2024-11-13 11:37:27 )
精校版本小说资源，PDF/AZW3格式适配各种阅读设备，值得收藏。

程序设计语言理论基础 azw3 网盘 高速 下载地址大全 免费