Location:
Search - wanghao
Search list
Description: 好程序,很好的程序 ,用VC写的进程调度算法-program is a good program that will write the VC process Scheduling Algorithm
Platform: |
Size: 24192 |
Author: 111111 |
Hits:
Description: 命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。
Platform: |
Size: 1345057 |
Author: harveysharp |
Hits:
Description: 好程序,很好的程序 ,用VC写的进程调度算法-program is a good program that will write the VC process Scheduling Algorithm
Platform: |
Size: 23552 |
Author: 111111 |
Hits:
Description: 命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。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.
Platform: |
Size: 1344512 |
Author: harveysharp |
Hits:
Description: 内点法求最优解，可以找到每个稳定域的平衡点。-Interior point method for the optimal solution
Platform: |
Size: 1024 |
Author: 王浩 |
Hits:
Description: 人工智能课程实验，C语言实现王浩算法，带有代码运行说明。-Artificial Intelligence course experiment, C language algorithms Hao, with code running instructions.
Platform: |
Size: 320512 |
Author: mafangyuan |
Hits:
Description: 学生档案系统 具有搜索查询排序等等功能 区位和气候起哦打球哦坚强哦哦亲-the system of student askdnoqnoinonoq
Platform: |
Size: 2048 |
Author: 王耘 |
Hits: