-
Propositional logic in the inference rule can be used to prove that a propositio...
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理,但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论,这些还有赖于人的经验技巧和才能。1960年王浩提出的算法,可以完全脱离人的经验和技巧,机械地构造每一步推导,证明一个命题逻辑定理的成立。
-Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization. Because the rules did not specify what steps in the derivation of what should be the introduction of the premise or intermediate conclusions, which also depends on the person s experience of the skills and talent. Wang Hao in 1960 proposed algorithm can be completely divorced from the person s experience and skills, a mechanical structure is derived for each step to prove that a propositional logic theorem establishment.
- 2022-03-07 22:04:02下载
- 积分:1
-
这是一个神经网络学习算法的模型和一个概述。
这是对BP神经网络模型与学习算法的一个概述,也就是基础的希望对大家有用。-This is a model of BP neural network learning algorithm and an overview of the foundation is useful for all of us hope.
- 2023-06-25 16:20:03下载
- 积分:1
-
a Tankedaizhan source code, suitable for beginners VC, and I hope to help you!
一个坦克大战的源码,适合VC初学者,希望对大家有所帮助!-a Tankedaizhan source code, suitable for beginners VC, and I hope to help you!
- 2022-03-16 07:18:34下载
- 积分:1
-
雷达数据预测,包括航迹仿真、卡尔曼滤波等
雷达数据预测,包括航迹仿真、卡尔曼滤波等
-radar data projections, including track simulation, Kalman filtering
- 2022-02-11 13:16:03下载
- 积分:1
-
基于小生境遗传算法的分类规则数据挖掘算法
基于小生境遗传算法的分类规则数据挖掘算法
-Based on Niche Genetic Algorithm for Classification Rules Data Mining Algorithm
- 2022-04-11 07:34:24下载
- 积分:1
-
一个自主机器人的电力传输线检查可引起电压的输电线路作为电源来源提出。该机器人采用电流互感器的主要促使目前从输电线路和远见功能浏览。结果表明,该机器人可以
自...
一个自主机器人的电力传输线检查可引起电压的输电线路作为电源来源提出。该机器人采用电流互感器的主要促使目前从输电线路和远见功能浏览。结果表明,该机器人可以
自动沿着输电线路。-An autonomous robot for the power transmission line inspection
that can induce the voltage from the transmission line as a power
source is presented. The robot uses current transformer principal
to induce the current from power transmission line and vision
function to navigate. The results have shown that the robot can
automatically move along the power transmission line.
- 2022-02-12 00:17:49下载
- 积分:1
-
FP-GROWTH算法的源代码(JAVA)-FP-Growth code and algrithem
- 2022-03-23 05:17:20下载
- 积分:1
-
神经网络7种C语言实现代码,大家可以
神经网络7种C语言实现代码,大家可以-Neural Networks 7 kinds of C language code, everyone can
- 2023-05-17 02:50:03下载
- 积分:1
-
VC establishment of integrated Savage and eight digital presentations. Savage pr...
用VC编制的集成的野人和八数码演示程序。其中野人程序用动态的效果演示,并能设置进度。八数码程序能根据给出的源状态转换成目标状态。-VC establishment of integrated Savage and eight digital presentations. Savage procedures which use dynamic demonstration effect, and can be programmed to progress. Eight digital process according to the source is converted into a state target state.
- 2023-03-18 11:35:03下载
- 积分:1
-
Research based on genetic programming evolutionary algorithm for the sustainabil...
研究基于遗传编程的可持续性进化算法的理论与方法,并建立了该算法的数学模型及运算流程.HFC算法实现源代码.-Research based on genetic programming evolutionary algorithm for the sustainability of the theory and method, and set up a mathematical model of the algorithm and the computation flow. HFC algorithm source code implementation.
- 2023-02-09 10:15:03下载
- 积分:1