根据逻辑代数方程理论，提出了格蕴涵代数方程的概念。
According to the theory about logic algebraic equation, the notion of lattice implication algebraic equation was proposed.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
Firstly, on the basis of implication, originating from the limited Disturbing Fuzzy Propositional logic, discusses its logic algebra and the properties of its generalized tautology.
本文对于多值逻辑代数系统中的基本运算和实现这些基本运算的门电路，作了必要的阐述。
This paper gives a necessary introduction to the base operation of the multi-valued logic algebra system and fundamental gate circuit for realizing these base operation.
我们在讲非计算机专业的计算机文化基础“时，从逻辑代数讲起，阐明计算机是如何用逻辑运算完成数值计算的。”
We gave the lecture on the basis of logical algebra in order to illustrate how the computers operate numerical calculation by means of logical calculation.
离散事件动态系统（DEDS）矩阵模型是一种逻辑运算与代数运算的混合系统。
Matrix model for discrete event dynamic simulation (DEDS) is a hybrid system with logical and algebraic components.
该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。
This paper proposes a method of checking the consistency of a UML model based on the algebraic rewriting logic.
本文在多值开关级代数理论的基础上，提出了适合于NMOS及CMOS组合电路的逻辑设计自动化算法。
On the basis of the multiple-valued switch-level algebra, this paper proposes a logic design automation algorithm for NMOS and CMOS combinational circuits.
这些语言有些是代数结构的，有些是基于演算的，还有的是面向逻辑程序设计的。
Some of such query languages are based on algebra, some are based on calculations, others are based on logic programming.
其结果描述了这些代数内部结构的特征，同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径。
Those results describe the characterizations of interior structures of those algebras, and also offer a new way for further researching lattice-valued logic systems from the semantics.
提出和阐明了两个普遍的逻辑规律——代数替换公理与对偶原理。
The article puts forward and sets out clearly algebraic substitution axiom and the principle of duality, which are both universal logic laws.
写作者必须把清晰的思考当作一项自觉的行动，就像做所有讲求逻辑的事比如列购物单或做代数题一样。
Thinking clearly is a conscious act that writers must force on themselves, as if they were working on any other project that requires logic: making a shopping list or doing an algebra problem.
以泛布尔代数理论为依据，以城市主干道十字路口为研究对象，设计了一种新的交通灯逻辑控制模型。
Pan Boolean algebra-based logical control model of the traffic light is designed in this paper, with an illustration of crossroads in the urban trunk roads.
本文综合运用概率论、代数学、逻辑函数频谱理论等方面的知识，对多输出函数的有关性质与构造进行了研究。
Using the theories of probability, algebra and spectral theory comprehensively, the dissertation investigates the properties and constructions of multi-output functions.
讨论了逻辑函数在与-异或和或-符合代数系统中的RM展开式和CRM展开式。
The RM and CRM expansions in Boolean AND-XOR and OR-COINCIDENCE algebraic system are discussed.
针对代数法和卡诺图法难以化简规模很大的逻辑函数问题，提出使用蚁群算法处理大规模逻辑函数化简。
As algebra way and map way can not simplify the given large scale logical function, a new way using Ant Colony Algorithm to simplify large scale logical function is put forward.
该课程主要介绍逻辑学、集合论、代数系统以及图论的基本概念及其方法。
It mainly introduces basic concepts and basic methods in logic, set theory, algebraic system and graph theory.
采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。
Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.
线性代数内容比较抽象，逻辑性比较强。
课程涵盖代数，微积分，科技数学，逻辑学，概率论，和多种电脑程序语言。
Courses include algebra, calculus, technical mathematics, logic, probability theory, and various computer programming languages.
该课程主要介绍逻辑学、集合论、代数系统以及图论的基本概念及其方法。
This course involves mathematic logic, theory of set, algebraic system and the theory of graph.
布尔代数所需的推理过程是通过开关来实现的，这些开关起着逻辑电路的作用。
The reasoning process called for by Boolean algebra are implemented through switches acting as electronics logic circuits.
根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性。
With these algorithms and the equivalence theory, the several rules to logically optimize the accessing trees were presented and the correctness for the logical optimization was proved.
本文同意逻辑证明是检验现代数学真理的唯一标准，同时也讨论了逻辑证明是一种实践活动的问题。
The paper agrees that only logical proof can be criterion of modern mathematical truth, and also discusses that logical proof is an action of practice.
模糊逻辑与量子逻辑以及它们相应的代数系统是目前非经典逻辑体系中非常活跃的研究分支。
Now, studies about fuzzy logic, quantum logic and the corresponding algebra systems are very active in non-classical logic.
亚里士多德是传统逻辑的创始人。弗雷格，德国著名的数学家，逻辑学家，是现代数理逻辑的创始人。
Aristotle was the founder of traditional logic, and G-Frege, a famous mathematician of German, was the founder of modern mathematical logic.
定理机器证明的研究已有将近50年的历史，并已经在数理逻辑、初等代数和几何学等学科取得显著成功。
There has been a lot of success in the study of automated theorem proving during the past 50 years.
定理机器证明的研究已有将近50年的历史，并已经在数理逻辑、初等代数和几何学等学科取得显著成功。
There has been a lot of success in the study of automated theorem proving during the past 50 years.
应用推荐