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

文档格式：PDF　文档大小：75.2KB　文档页数：5

广东海洋大学：《VHDL程序设计语言》课程教学资源（实验指导）实验三 Latches, Flip-flops, and Registers

文档格式：PDF　文档大小：58.41KB　文档页数：5

广东海洋大学：《VHDL程序设计语言》课程教学资源（实验指导）实验二 Numbers and Displays

文档格式：PDF　文档大小：84.62KB　文档页数：9

广东海洋大学：《VHDL程序设计语言》课程教学资源（实验指导）实验一 Switches, Lights, and Multiplexers

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

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

文档格式：PPT　文档大小：350.5KB　文档页数：41

程序设计语言_模拟试题

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

程序设计语言_习题

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

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

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

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

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

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

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

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