To meet the application needs of the incomplete information database,based on original connectives ∧,∨,→, and μ,a new three-valued logic propositional calculus system M.
构造了一种新的三值逻辑命题演算系统M PM和三值逻辑谓词演算系统M FM,证明了其可靠性和完备性,并给出了在查询优化方面的应用。
Methods At first,through the study of the common characteris ties of fuzzy proposi- tional calculus systems,a reasoning operator is obtained on the powerset of fomula set which is satisfied by general fuzzy propositional calculus system;Secondly,with the aid of the thought of cstablishing topological space with to- pological closure operator,the theory of reasoning closure space i.
方法通过对命题演算系统的共同特征的研究,在公式集的幂集格上得到了一般命题演算系统共同满足的一个推理闭包算子,再借助通过拓扑闭包算子建立拓扑空间的思想提出了推理闭包空间理论。
The formal deductive system L * for fuzzy propositional calculus and the revised Kleene logic systems ,W,W k , that are relevant to the former in semantics, has been studied, both of them are first proposed by professor Guo jun Wang.
研究了王国俊教授建立的模糊命题演算的形式演绎系统 L*以及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,给出了 L*系统的一种改进系统 L*0 ,并证明了二者之间的等价性 ,为形式演绎系统 L* 的研究和应用提供了一个有益的途
This paper provides some ideas about issues on design calculation of frame-supported glass curtain wall assembled in elements and pointed out key factors to be concerned accordingly.
本文对实际工程中构件式玻璃幕墙的若干设计计算问题提出了个人见解,并有针对性地提出若干注意事项。
The authors give a brief introduction to Hilbert s type intuitionistic system of first order sentential calculus,and prove some theorems of this system by logical deduction method.
简要介绍了一阶命题演算的希尔伯特型直觉主义系统 ,运用逻辑演绎的方法证明了此系统的一些定理 ,其目的在于加深对直觉主义系统中概念的理解 ,便于对此系统的进一步研究及应用 。
Two intuitionistic systems of firstorder sentential calculus, Hilbert s type(HSI) and natural deduction type(NDSI), were introduced.
介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关
No matter how complex the computation may be, it can be settled by means of a computer .
不管这算题有多复杂都可以用计算机算出来。
On the settlement of ultra-tender the project budget,budget issues Perspective
浅析招标工程结算超预算、概算问题
She fed the questions into the computer.
她把问题馈送入计算机。
computer-assisted problem-solving system
计算机辅助解题系统
"Foolish child, what a question is that!"
“傻孩子，这算什么问题啊
it was a computer simulation of problem solving.
问题解决的计算机模拟。
Ask and answer questions on these sums.
就这些算术题进行问答。
Can a computer think?
计算机能思考问题吗?
Mean Value on Several Smarandache Problems;
几个Smarandache问题的均值计算
Algorithms Studying for Job Shop Scheduling Problem;
Job Shop Scheduling问题的算法研究
A Memetic Algorithm for Traveling Salesman Problem;
用Memetic算法求解TSP问题
Pertubation Problems for Semi-Fredholm Operators;
半Fredholm算子的扰动问题
Calculational Methods of Birkhoff Interpolation Problem;
Birkhoff插值问题的计算方法
The Interval Algorithm about Minimax Problems;
关于minimax问题的区间算法
Research of DNA Algorithm for the Factorization Problem;
因子分解问题的DNA计算机算法研究
Research on DNA-base Algorithms of Subset-product Problem;
子集积问题的DNA计算机算法研究
ComputationalModelsand Algorithmsof Hidden Groups inCommunication Network;
通信网中隐组问题的计算模型及算法
Seif-Assembly Algorithm of 3-SAT in DNA Computing;
DNA计算中的3-SAT问题的自装配算法
