VB程序设计语言文库下载_中国高校课件下载中心

文档格式：PPT　文档大小：521KB　文档页数：34

-λ表示法和λ演算系统概述 -类型和类型系统的扼要讨论 -基于表达式的归纳、基于证明的归纳和良基归纳

文档格式：PDF　文档大小：408.5KB　文档页数：15

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第6章递归类型

文档格式：PDF　文档大小：477.37KB　文档页数：43

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第2章泛代数和代数数据类型

文档格式：PDF　文档大小：239.9KB　文档页数：12

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第1章引言

文档格式：PPT　文档大小：78.5KB　文档页数：4

知识点回顾 1运算符与表达式: 算术运算符用于各类数值运算。包括加(+)、减(-)、乘(*)、除(、求余(或称模运算,%)、自增(++)、自减(--)共七种

文档格式：XLS　文档大小：26.5KB　文档页数：6

题目 A 下列程序执行后的输出结果是

文档格式：PPT　文档大小：249KB　文档页数：43

1. 两个或两个以上程序单元之间交错地执行,这样的程序称为协同程序

文档格式：PPT　文档大小：105KB　文档页数：24

可见,非终结符P产生一系列i:T形式的说明语句

文档格式：PPT　文档大小：138KB　文档页数：37

(1)代码外提 (2)强度削弱

文档格式：PPT　文档大小：175.5KB　文档页数：39

一. 优化的定义优化是一种等价的，有效的程序变换等价——不改变程序运行结果有效——时空效率要高