搜索：自动化逻辑 - 虫虫下载站

数值算法/人工智能  离散数学重言式判别以及逻辑表达式求值原代码

离散数学重言式判别以及逻辑表达式求值原代码

https://www.eeworm.com/dl/518/122567.html

下载: 88

查看: 1070

嵌入式/单片机编程  sle4442逻辑加密卡读写程序---c语言编写（转贴）

sle4442逻辑加密卡读写程序---c语言编写（转贴）

https://www.eeworm.com/dl/647/122911.html

下载: 25

查看: 1141

数值算法/人工智能  最新模糊逻辑工具箱

最新模糊逻辑工具箱

https://www.eeworm.com/dl/518/123143.html

下载: 124

查看: 1066

其他嵌入式/单片机内容  SIMENS 4442逻辑加密IC应用例程

SIMENS 4442逻辑加密IC应用例程

https://www.eeworm.com/dl/687/123330.html

下载: 28

查看: 1051

嵌入式/单片机编程  这个是用muxpulsII制作的有时钟功能的电路是属于数字逻辑的

这个是用muxpulsII制作的有时钟功能的电路是属于数字逻辑的

https://www.eeworm.com/dl/647/123598.html

下载: 39

查看: 1047

电子书籍  AHDL逻辑器件的使用

AHDL逻辑器件的使用

https://www.eeworm.com/dl/cadence/ebook/124511.html

下载: 42

查看: 1026

OA系统  网络自动化办公系统

网络自动化办公系统

https://www.eeworm.com/dl/683/125043.html

下载: 39

查看: 1095

企业管理  网络办公自动化源码

网络办公自动化源码

https://www.eeworm.com/dl/632/125552.html

下载: 115

查看: 1039

数据结构  实现卡洛图的自动化简功能

实现卡洛图的自动化简功能，最大字符为4个，即对于一个4 x4的数，将其中可以合并的1化简，得出最简和最优的结果，与手工化简结果一致

https://www.eeworm.com/dl/654/126019.html

下载: 137

查看: 1058

人工智能/神经网络  基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题

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

https://www.eeworm.com/dl/650/126259.html

下载: 89

查看: 1347

搜索结果

按分类筛选