1) logical form
逻辑式
1.
This paper discusses the role of the logical form in the grammar in terms of the scope principle due to the operator_variable relationship.
本文从制约操作项与可变项关系的作用域原则角度探讨了语法系统中的句子逻辑式。
2) Form logic
形式逻辑
1.
by comparing and researching law of excluded middle of form logic and mathematical logic from quantity and quality of aspect,to unify and generalize law of excluded middle,This paper presents united law of excluded middle-general law of excluded middle,and provides its mathematics expression.
作者通过对形式逻辑和数理逻辑中的排中律从量和质的方面进行了比较和探讨,将排中律进行统一和推广,提出了统一的排中律———广义排中律,并给出了相应的数学表示。
3) formal logic
形式逻辑
1.
On the embody of formal logic in Advanced math concept;
谈高等数学概念中形式逻辑的体现
2.
On Teaching Western Economics and the Training of Formal Logic Thinking;
论西方经济学的教学与形式逻辑思维方法的培养训练
3.
Thought on Compilation of Formal Logic Aiming to Teachers Education;
教师教育专业形式逻辑教材编写的几点思考
4) equation logic
等式逻辑
1.
The equation logic is implemented efficiently by building the description of the type and improving the unification algorithm on the base of the rewriting mechanism.
讨论了在逻辑程序系统中处理表达式的等式扩展方法，描述了表达式建立类型并在重写机制的基础上改进传统的合一操作，实现了高效的等式逻辑。
5) logic formula
逻辑公式
1.
In this article, a kind of calculus method that is used to determine the truth-values of a kind of lattice valued logic formulae by means of the dynamic neural networks is proposed.
提出一种利用神经逻辑单元动态地构造神经网络的算法来对一类格值逻辑系统(L4(X))中的逻辑公式进行计算。
6) logical model
逻辑模式
1.
Analysed from the mechanism of creativity, it includes the discovery of “logical foundation” of the object of study, the development process of the categories related to each other, and the establishment of the “logical model” of the object s system.
从创造性机制分析 ,它涵盖研究对象的“逻辑基础”的发现、“逻辑基础”内含众规定“胚芽”经由诸范畴关联交合的推进展示、以及对象系统整体的“逻辑模式”创建的全程。
补充资料：逻辑式程序设计语言
逻辑式程序设计语言
logic programming language
luojish一ehengxu Shel一yuyan逻辑式程序设计语言(l硒cp刊卿限mminglanguage)用于逻辑式程序设计的语言。又称逻辑程序设计语言。组成逻辑程序的语句的基本形式是日劝rll子句，其形式为A if Bl and BZ and…and Bn其中A是原子公式作为结论，零个或多个原子公式的合取作为条件。若其中任一Bi(1簇i(n)要么是原子公式，要么是原子公式的否定，则称为规范形式。若其中Bi(1毛i镇n)可以是任意一阶逻辑公式，则称为一般形式的子句。J.W.F】oyd和R.W.产r巾)r已经指明任意一般形式的逻辑子句均可转化为规范形式子句。 逻辑程序设计语言有:①顺序逻辑程序设计语言;②并行逻辑程序设计语言;③约束逻辑程序设计语言。顺序逻辑程序设计语言的代表是PRO-LOC语言。Prol呢一个显著的特点是其执行过程有明显的顺序性:子目标Bi(1毛i毛n)执行顺序是从左向右，选择适用子句的次序是从上向下，搜索策略是深度优先。在单中央处理器(CPU)计算机上，顺序逻辑程序设计语言有较高的执行效率，缺点是求解机制不够完备。 并行逻辑程序设计语言的典型代表有K.LClark提出的PA]圈工暇语言。其特点是并行执行所有与目标Bi(1蕊i毛n)，并且对于所有满足条件的子句要进行选择提交。推理过程中，一直向前，没有回溯，此语言在多CPU机和多机环境下具有较高执行效率和并发通信能力。 约束逻辑程序设计语言(CLP)是在顺序或并行逻辑程序设计语言中增加一些特殊原语和推理方法而形成的溉言。在逻辑程序执行过程中，这些原语可以自动被延迟或被调用，以便多模式地求解问题。例如求解简单方程的原语，可求解方程X=Y十4，如X，Y未例化，则该方程被延迟，一旦X，Y中有一个被例化，则X=Y+4立即被求解。典型的约束逻辑程序设计语言有PR()L(刃111，Ch币，口尹(R)等。对某些应用，比如涉及方程求解的搜索问题时，通过大量方程的求解，可删除不必要的搜索空间，从而大大提高问题的求解速度。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条