查询词典 Boolean algebra

This thesis improves Extended Duration Calculus so that discrete state variables can be arbitrary types and any Boolean typed terms can be seen as formulas.

本文改进了扩展的延时演算，使得离散状态变量可以是任意类型，并将任何布尔类型的项作为公式，增加了灵活性和表达性。

Definition and research of disjoint product sum minimization from the point of view of Boolean function coverage, and proof of three theorems as well as putting forward a recurrent formula.

从布尔函数覆盖的角度定义和研究了最小不交化问题，给出并证明了几个有关的定理，并提出一个求布尔函数最小不交积之和的递推计算原理及公式； 3。

Nowrap boolean True to display data in one line.

真正显示在同一行数据。

On the home page of the Database of State Essential Druggery, type your search terms enter the query box. Select the field name to limit the search term, and then select Boolean operator to add multiple search terms. After than click the search button.

在本网站数据库栏目中选择"国家基本药物数据库"并点击"进入"至国家基本药物数据库单表检索界面，在其查询框中输入待检索的内容，选择相应的字段和逻辑关系（and ，or， not）来组织查询语句，然后点击"检索"按钮。

See the section on"edge-triggered latches" in How Boolean Logic Works for details.

查阅布尔逻辑工作原理详细了解边沿触发锁存器的情况

Corporate Libraries and Purchased Content: The only people who really care about taxonomy and boolean search are librarians, and unfortunately they usually don't know enough about their employer's business to know what to do with the esoterica that requires such tools anyway.

公司资料库和采购目录：要知道，世上唯一在乎分类学和逻辑搜索的人群就是图书管理员，但很不幸的是，他们通常都不够了解老板的生意，自然就对那些实际上渴求这两大学科的重要信息无从下手了。

Its mathematical foundation has been studied, several normal forms have been introduced, the deduction methods of Star algorithm have been dealt with and the expansion theorem which attaches Star algorithm to Boolean difference ha...

文章较详细地陈述了在组合网络诊断方面的应用；通过典型例子介绍了求测试码的算法，并与流行的D算法、布尔差分法、ESP法等进行了比较。事实表明星算法具有某些优点。本文还指出了在网络其它方面应用的可能性。

The word Boolean is derived from the 19th-century British mathematician George Boole, which, if nothing else, is a great factoid for your next dinner party.

布尔逻辑学是以19世纪英国数学家George Boole的名字命名的。下次晚餐聚会时，如果你没有别的话题可谈的话，大可把这作为很好的谈资来显示你的博学多才。

However, the Vector has an additional constructor argument, which is a Boolean value that specifies whether the Vector size is fixed or can be changed.

然而，Vector还有一个额外的变量，一个可以具体控制Vector长度是否可以改变的布尔值。

By studying measure theory, the students are asked to understand σ-algebras, measure, measurable functions, integral, the measure theory of product spaces, Fubini theorem, and the representation theory of Boolean algebras.

通过本课程学习，使学生掌握σ-代数、测度、可测函数、积分，初步掌握乘积测度空间的构造及Fubini定理，以及布尔代数的表示理论。

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。