程序设计语言概念 (第10版)

目录: 

第1章 引言 1.
1.1 模型程序设计语言 1
1.2 λ记法 2
1.3 等式，归约和语义 4
1.3.1 公理语义 4
1.3.2 操作语义 5
1.3.3 指称语义 5
1.4 类型和类型系统 6
1.5 记法和数学约定 8
1.6 集合论基础知识 9
1.6.1 基础 9
1.6.2 关系和函数 12
1.7 语法和语义 14
1.7.1 目标语言和元语言 14
1.7.2 文法 14
1.7.3 词法分析和语法分析 15
1.7.4 数学解释示例 17
1.8 归纳法 18
1.8.1 自然数归纳法 18
1.8.2 表达式和证明上的归纳法 21

等

本文链接: http://www.books51.com/24752.html

上一篇: C++沉思录

下一篇: 程序设计基础：可视化及VC++实现

(0 次顶, 0 人已投票)
你必须注册后才能投票！

Loading...