助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   布尔 在 逻辑学 分类中 的翻译结果: 查询用时:0.02秒
图标索引 在分类学科中查询
所有学科
逻辑学
数学
畜牧与动物医学
非线性科学与系统科学
动力工程
自动化技术
更多类别查询

图标索引 历史查询
 

布尔
相关语句
没有找到相关双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  boolean
They have proved that if the set of keys is a Boolean algebra or a finite field, then there does not exist a two-operation homomorphic sharing scheme.
      
In this paper the decomposition formula of Walsh spectrum of boolean functions is used to construct a class of nonlinear resilient functions.
      
Boolean parallel algorithm is improved to discover frequent fuzzy attribute set, and the fuzzy association rules with at least a minimum confidence are generated on all processors.
      
Considering connections of characteristics, this paper is aimed at the construction of optimized Boolean functions.
      
The design of reflexive behavior models for situation specific choice is investigated under the assumption that the model is based on multi-valued Boolean scales.
      
更多          


The article focuses on lattice style fuzzy predicat logic and reasoning.It diseuses on Boolean lattice of strticture quality and its composition,and the description of fuzzy linguistic with fuzzy lattice style fuzzy predicat logic and fuzzy reasoning with resolution method.

本文研究真值取在布尔格上的模糊逻辑与推理。讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理。

By means of redundant binary number representation suitable for digital optical computers one can build an arithmetic with carry free parallel algebraic sums in constant time and construct inherently parallel arithmetic units.Based on the analysis of this representation,high efficiency optical redundant binary number addition operation system using Boolean Polarization encoded Logic Algebra (BPLA) is presented in this paper.

冗余二进制法适合数字光学混合计算机.利用该法可以在常数时间内实现无进位的并行算数和,并建立内在的并行算数单元.本文在分析该方法的基础上,利用布尔偏振编码逻辑代数设计了高效光学冗余二进制加法操作系统.

The Logic of Circumscribed Paradox Lpm is a kind of logic which is circumscribed to the contradiction in the paradox. L represents logic, "p" represents paradox, "m" represents minimize, minimize means circumscribe. Here the basic method to circumscribe contradiction is paraconsistent logic. The purpose of the establishment of Lpm is, for one thing, to solve a problem of the classical logic, i.e., any proposition could be inferred from the contradict proposition. For another, to keep the original inter-defining...

The Logic of Circumscribed Paradox Lpm is a kind of logic which is circumscribed to the contradiction in the paradox. L represents logic, "p" represents paradox, "m" represents minimize, minimize means circumscribe. Here the basic method to circumscribe contradiction is paraconsistent logic. The purpose of the establishment of Lpm is, for one thing, to solve a problem of the classical logic, i.e., any proposition could be inferred from the contradict proposition. For another, to keep the original inter-defining way of the conjuctions in the classical logic (this way is very popular among many people). The symatic model of Lpm, which was set forth by Priest firstly, has challeged the classical form of Proof Theory. As fas as the Logic of Circumscribed Paradox Lpm is concerned, its new Proof Theory of the calculation of the proposition is finished by Dr. Lin Zuoquan. This paper provides another mode of statement, which is more strict and general. Hence, it lays the foundation for the Proof Theory of the predicate logic.

限悖论逻辑(有时简称为悖论逻辑)Lpm是一种对悖论中的矛盾进行限制的逻辑。其中L表示逻辑,P表示悖论,而m表示极小化,极小化意味着限制。这里,限制矛盾的基本手法是次协调逻辑。我们说,限悖论逻辑Lpm建立的目的,正是为了消解布尔、弗雷格(BF)的经典逻辑BF中引入矛盾命题后,可以推出任意命题(这称为句法的无意义化或平庸化)这样一个难题,同时又保持BF逻辑中对联词的原有相互定义方式(这种方式受到很多人的欢迎)。Lpm由Priest首先提出语义模型,它对证明论的经典形式曾作为挑战性问题而存在。就限悖论逻辑Lpm而言,其命题逻辑的新证明论最终由林作铨博士及李未教授解决。循此前进,本章给予另一种严格形式的、更普遍的表述,并为统一地解决谓词逻辑的“证明论”提供基础。这是我们对这一问题所做的新工作。

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关布尔的内容
在知识搜索中查有关布尔的内容
在数字搜索中查有关布尔的内容
在概念知识元中查有关布尔的内容
在学术趋势中查有关布尔的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社