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

文档格式：PDF　文档大小：92.67KB　文档页数：7

广东海洋大学：《VHDL程序设计语言》课程教学资源（实验指导）实验七 Finite State Machines

文档格式：PDF　文档大小：219.49KB　文档页数：8

广东海洋大学：《VHDL程序设计语言》课程教学资源（实验指导）实验六 Adders, Subtractors, and Multipliers

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

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

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

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

文档格式：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　文档大小：213.5KB　文档页数：37

程序设计语言_习题

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

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