逻辑题

逻辑题技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

逻辑题 热门资料

查看全部 500 份 →

资料->【C】嵌入系统->【C2】IC设计与FPGA->【0】综合（可编程逻辑器件、PAL、GAL、PLD、ASIC）->逻辑与可编程控制系统.rar

2024-06-18 1 逻辑题

基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛...

2013-11-30 89 逻辑题

EDA （Electronic Design Automation）即“电子设计自动化”，是指以计算机为工作平台，以EDA软件为开发环境，以硬件描述语言为设计语言，以可编程器件PLD为实验载体(包括CPLD、FPGA、EPLD等)，以集成电...

2013-10-11 198 逻辑题