-
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
-
based on the finite state machine language digital voice endpoint detection. Rar...
基于有限状态机的汉语数字语音端点检测.rar.rar格式为ｖｉｐ-based on the finite state machine language digital voice endpoint detection. Rar.rar format vip
- 2022-05-13 12:31:22下载
- 积分：1
-
小波十讲(中文版),这是个很好的讲义，希望对你有帮助
小波十讲(中文版),这是个很好的讲义，希望对你有帮助-Ten Lectures on Wavelets (Chinese version), which is a very good lecture notes, want to help you
- 2022-06-13 14:19:55下载
- 积分：1
-
基于svm的机器学习文本分类方法，具有很好的借鉴意义
基于svm的机器学习文本分类方法，具有很好的借鉴意义-Svm-based machine learning text classification methods, with a good reference
- 2022-07-26 12:17:40下载
- 积分：1
-
Adaptive Resonance Theory (ART) Neural Network
Adaptive Resonance Theory (ART) Neural Network
- 2022-08-03 00:46:06下载
- 积分：1
-
这个是遗传算法的PPT讲义 很有帮助 大家可以看看
这个是遗传算法的PPT讲义 很有帮助 大家可以看看 -This is a genetic algorithm PPT helpful lectures we will look at the
- 2022-02-13 13:45:59下载
- 积分：1
-
Evenly spaces the cities on the perimeter of a wheel and returns a vector of the...
Evenly spaces the cities on the perimeter of a wheel and returns a vector of their coordinates
利用AI技术生成一个圆-Evenly spaces the cities on the perimeter of a wheel and returns a vector of their coordinates the use of AI technology to generate a circle
- 2022-05-14 13:03:14下载
- 积分：1
-
神经网络遗传算法的一个简单例子代码，开发神经网络遗传算法的第一步...
神经网络遗传算法的一个简单例子代码，开发神经网络遗传算法的第一步-neural network genetic algorithm code a simple example, the development of neural network genetic algorithm first step
- 2022-05-29 10:29:28下载
- 积分：1
-
模糊控制矩阵推理，控制规则表，设计带有延迟一阶惯性环节得模糊控制器。...
模糊控制矩阵推理，控制规则表，设计带有延迟一阶惯性环节得模糊控制器。-fuzzy control matrix reasoning, control rule, designed with a delay in order inertia links fuzzy controller.
- 2022-05-06 22:48:05下载
- 积分：1
-
Improved Genetic Algorithm in TSP application! Good use Oh!
改进遗传算法在TSP中的应用!很好用哦!-Improved Genetic Algorithm in TSP application! Good use Oh!
- 2022-03-24 13:07:52下载
- 积分：1
