逻辑题库
逻辑题库技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
逻辑题库 热门资料
查看全部 500 份 →命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技...
2013-12-31
126
用maxplus2实现的一种通用逻辑模块
用maxplus2实现的一种通用逻辑模块，背景是一个基于dsp的嵌入式开发板，上面的逻辑模块全用cpld实现。此模块可以供以后的嵌入式开发作参考。
2014-07-05
117
《模糊逻辑工具箱新》（Fuzzy Logic Toolbox Add-On）
《模糊逻辑工具箱新》（Fuzzy Logic Toolbox Add-On），增加了新的公共过程基于模糊控制系统的模糊控制工具箱。 作者: Antonio Javier Barrag
2015-04-18
185