propositional
- 网络命题的;命题式的;命题式;或命题功能
-
This paper introduces a method for propositional logic calculation .
介绍了命题逻辑演算方法。
-
Short consistency degrees of finite theories in propositional fuzzy logic system
命题模糊逻辑系统中有限理论的弱相容度
-
An Empirical Research on the Influencing Factor in Propositional Reasoning Ability
复合命题推理能力相关影响因素的实证研究
-
A Model Predictive Control Based on Hybrid Systems Integrating Propositional Logic with System Dynamics
结合了命题逻辑与系统动力学的混合控制
-
Many-sorted propositional dynamic logic system based on parallel processing environment
基于并行处理环境的多类命题动态逻辑系统
-
Propositional μ - Calculus Design and Implementation for Temporal Logic Systems
时序系统命题μ演算算法设计与实现
-
An extension of the propositional calculus system of medium logic (ⅱ)
中介逻辑命题演算的扩张(Ⅱ)
-
A propositional content can have different focuses of sentence .
一个命题内容可以有不同的语句焦点。
-
Another decision method for the validity of the propositional inference
关于命题论证有效判定的另一方法
-
The second goal is to discuss the roots of propositional set .
第二,讨论了命题集的根。
-
Automatic Generation and Formal Output of Special Normal Forms of Propositional Formulae
命题公式主范式的自动生成与形式输出
-
The Computer Implementation of the Propositional Logic Equivalent Calculation
命题逻辑等值演算的计算机实现
-
Automated Reasoning Method Based on Path Searching for Lattice Propositional Logic Formulae
基于路径搜索的格值命题逻辑自动推理方法
-
The Psychological Research on Propositional Reasoning : Review and Comments
命题推理的心理学研究综述
-
Discussing about the Completeness Proof of Normal Modal Propositional Logic System
关于正规模态命题逻辑系统的完全性证明
-
Item Order of Propositional Representation in Understanding Chinese Initiative and Passive Sentences
汉语主动句、被动句的命题表征项目顺序特点
-
Digital Form of Logical Consequence Theory in Propositional Logic
命题逻辑中推理理论的数字形式
-
Generating Algorithm of Truth Value Table and Type 's Mechanical Decision to a Propositional Formula
命题公式真值表的生成与公式类型的机械判定
-
The first indicates that one utterance determines the other in propositional content ;
命题内容连贯指一话语在决定另一话语的内容所起作用的连贯;
-
In this paper , we propose a new description method of information processing systems based on propositional logic .
本文针对以上功能,提出了基于命题逻辑的信息处理系统的新的需求描述方法。
-
The algorithm and complexity of propositional knowledge base revision
命题知识库更新的算法及其复杂性
-
Studies on Calculus Theory and Reasoning of Propositional Universal Logic
命题泛逻辑的演算理论及推理研究
-
Σ - generalized contradiction in the limited value disturbing fuzzy propositional logic
有限扰动模糊命题逻辑系统的∑-广义矛盾式
-
The Analysis of Algorithms for the Propositional Logic Satisfiability Problem
命题逻辑可满足性问题的算法分析
-
Decision of the validity of the propositional inference by basic linguistics
用BASIC语言判定命题推理的有效性
-
The Characteristics of Item Order of Propositional Representation in Simple Sentences about Spatial Relationship in Chinese
汉语空间关系简单句命题表征项目顺序特点
-
Instituting the propositional theory is necessary for a scientific study of sociology .
建构命题化的理论是社会学研究科学化的必然要求。
-
Type of conclusions and classification of theories in two-valued propositional logic
二值命题逻辑理论的结论类型和分类
-
What is Situation Model : Propositional Symbol or Perceptual Symbol
情境模型的实质:命题符号与知觉符号之争
-
The proposition and classification of propositional forms are a very complicated problem .
命题及命题形式的分类是一个相当复杂的问题。