Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。[
上传时间： 2014-11-26
上传用户：BIBI
SX-CPLD/FPGA 数字逻辑电路设计实验仪 SX-CPLD/FPGA 数字逻辑电路设计实验仪 产品介绍 1.利用CPLD/FPGA 提供的软硬件开发环境学习最新逻辑IC 设计，以取代TTL/CMOS 复杂的硬件设计。 2.可使用电路绘图法、ABEL 语言、波形图和数字硬件描述语言法(VHDL/AHDL)来开发电路。 3.CPLD/ FPGA 提供引脚可任意设定,故作测试实验时不需要做硬件连接,可节省大量连线焊接时间,快速学习软硬件的运用。 4.CPLD/ FPGA 每一I/O Pin 皆有逻辑状态监视器，以便迅速了解每一引脚状态。 5.清楚标示每一管脚的脚位，易于观察和测量。 6.使用并口在开发系统下直接下载。 7.可在线将CPLD/ FPGA 程序到FLASH ROM，实验仪可独立运行，适合大学生EDA 电子竞赛。 8.可做8051 和CPLD/ FPGA 的组合电路实验。 9.适用于WINDOWS95/98/NT/2000/XP 操作系统。 10.数万门的现场可编程芯片让设计所思即所得。
上传时间： 2016-03-14
上传用户：671145514
SOPC是一种新的系统设计技术，也是一种新的软硬件综合设计技术。通过它，可以很快地将硬件系统（包括微处理器，存储器，外设以及用户逻辑电路等）和软件设计都放在一个可编程的芯片中，以达到系统的IC设计.
上传时间： 2014-01-24
上传用户：iswlkje
讲解网页设计技术，我个人学习网页设计就是从这里开始的，感觉逻辑清晰，推荐一下给计算机专业的大学生。
标签： 网页设计
上传时间： 2016-07-09
上传用户：anng
可编程逻辑器件相关专辑 96册 1.77G可编程控制器原理及应用系统设计技术 228页 5.6M.pdf
标签：
上传时间： 2014-05-05
上传用户：时代将军
可编程逻辑器件相关专辑 96册 1.77G@@ 可编程序控制器原理及应用系统设计技术 236页 10.9M.pdf
标签：
上传时间： 2014-05-05
上传用户：时代将军
VHDL硬件描述语言与数字逻辑电路设计
上传时间： 2013-05-19
上传用户：eeworm
压铸模ＣＡＥ分析及并行设计技术的工程应用
上传时间： 2013-04-15
上传用户：eeworm
实用电子机械设计技术手册（电子部分)
上传时间： 2013-04-15
上传用户：eeworm
专用集成电路设计技术
上传时间： 2013-06-23
上传用户：eeworm
