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

文档格式：PDF　文档大小：493.47KB　文档页数：2

西安石油大学计算机学院：《程序设计语言C Programming Language C》教学资源（课程教案，打印版）第3章数据类型、运算符及表达式

文档格式：PDF　文档大小：251.25KB　文档页数：1

西安石油大学计算机学院：《程序设计语言C Programming Language C》教学资源（课程教案，打印版）第1章 C语言概述、第2章程序的灵魂——算法

文档格式：PDF　文档大小：84.49KB　文档页数：1

西安石油大学计算机学院：《程序设计语言C Programming Language C》教学资源（课程教案，打印版）第13章文件（2）

文档格式：PDF　文档大小：214.8KB　文档页数：1

西安石油大学计算机学院：《程序设计语言C Programming Language C》教学资源（课程教案，打印版）第13章文件（1）

文档格式：PDF　文档大小：196.75KB　文档页数：1

西安石油大学计算机学院：《程序设计语言C Programming Language C》教学资源（课程教案，打印版）第12章位运算

文档格式：PPT　文档大小：553KB　文档页数：53

• 带记录和子定型的简单类型化λ演算 • 等式理论和语义模型 • 递归类型的子定型和递归记录作为对象的模型

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

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

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

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

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

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

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

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