逻辑题库
逻辑题库技术资料下载专区，收录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
实现MPLS VPN逻辑网络拓扑的方法
通过研究在建设运营数据网过程中，利用BGP Community属性结合条件路由过滤技术实现路由控制的过程，提出了在复杂网络环境以及其它可用技术受限制的条件下实现MPLS VPN逻辑网络结构的一种新方法，该方案的实施，使得专用网具有更高的安全...
2013-11-23
195