查询词典 boolean algebra

Monadic Boolean algebras also have an important connection to modal logic.

一元布尔代数还与模态逻辑有重要联系。

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

The framework already includes controls for editing string, numbers, enums, date/time with calendars and boolean with checkboxes (of 3 states, if it is nullable), so creating basic forms is only a question of using these types.

该框架已包括编辑字符串，数字，枚举控件，日期/有日历和复选框（3州布尔时间，如果是空），所以创造的基本形式，只是使用这些类型的问题。

Maitra and Sarkar provided a recursive construction method to construct m-resilient Boolean functions of n variables with high nonlinearity and al...

Maitra和Sarkar于1999年提出了一种递归构造方法，构造出一类非线性度很高的n元m阶n-m-1次的弹性函数，但是此方法所能构造的弹性函数的数量有限。

Sortable boolean True to allow the column can be sorted.

真正让列可以进行排序。

Value product items of Reed-Muller type logic function was tabularly listed, and the first-order Boolean difference was calculated by transforming corresponding bits of 1-value product items 1~0 to produce new items.

该方法通过用表格列出Reed-Muller型逻辑函数的1值积项，并对1值积项中相应的位取1到0的变换产生新项来计算一阶布尔差分。

The servo controller regards TI Company DSP chip TMS320LF2407A as the main chip,has adopted standard ISA bus structure,has high -integration and high-agility,has accomplished in real-time complex boolean calculation and control algo- rithms during motion control,and can be used to realize high-speed and high-accuracy servo control for mul- tiple axis.

O前言以DSP为核心的多轴伺服控制器越来越广泛地应用在运动控制系统中，上位机只需对被控对象实施总体的控制和管理，而位置反馈信号的采集，闭环控制计算及控制量的输出均由伺服控制器完成，具有运算速度快，支持复杂的运动算法的特点，能实现高速度、高精度的位置伺服或轨迹

Boer losses, tens of thousands died in concentration camps, May 31, 1902 the two sides signed the "Treaty of Vereeniging," Boolean to stop the resistance, the British annexation of the Transvaal and the Orange, the United Kingdom to give Boer To financial compensation, and to work together to provide Boer oppression of black privilege.

布尔人损失惨重，集中营中死亡达数万人，1902年5月31日双方签定《弗里尼欣和约》，布尔人停止抵抗，英国吞并德兰士瓦和奥兰治，英国给予布尔人以经济补偿，并给布尔人提供一起压迫黑人的特权。

Finally, we discuss the current challenges of methods to extract Boolean unsatisfiable subformulae, and outline the future research directions.

最后讨论了布尔不可满足子式的求解方法目前面临的主要挑战，并对今后的研究方向进行了展望。

In recent years, there are many different contributions to research on extraction of Boolean unsatisfiable subformulae, due to the increasing importance in numerous practical applications. The existing algorithms are introduced and compared according to their types. Then we present our recent research works to derive unsatisfiable subformulae.

针对近年来出现的许多求解布尔不可满足子式的研究工作，根据算法的类型归类比较，对各种求解方法进行了概述评论，并简要介绍了在该领域所做的一些研究工作。

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 无法删除选定的页面或图像（它可能已经被其他人删除了）。