查询词典 Boolean

Collision – Unknown to both me and Brother Laz, but this boolean is related to the previous one, many missiles that have no "physical collision" but still perform a collision event will have this set to 1.

Collision –我和Brother Laz都不清楚这列是什么用。，但这布尔型关系到前一列，很多投射物没有&物理碰撞&但时依然旅行碰撞事件，在这里设置为1。

LastCollide – Unknown to both me and Brother Laz, but this boolean seams to be related to some special behavior on missiles that don't vanish upon collision, such as fire effects and some other effects that are client-side only.

LastCollide –我和Brother Laz都不清楚这列是什么用。但是布尔类型看起来象和投射物碰撞时某些特殊的行为相关，比如火效果和一些其他只在客户端的效果。

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 modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.

模态逻辑 S5，被看作 S4 中一个理论，是一元布尔代数的模型，如同模态逻辑 S4 是内部代数的模型。

Especially, by use of the new point, the concept of atom is defined from which the essential implications of atom and nonseparation are brought in, and Stone theorem of finite Boolean algebra is extended to alleged atomic algebra.

特别本文用新的观点给出了&原子&的定义，这个定义给出了&原子&的&不可再分&的本来含义，并且将有限布尔代数的Stone定理推广到所谓原子代数中去。

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的变换产生新项来计算一阶布尔差分。

I can not negligent, he should do what?

我不能不在意了，他要做什么呢？

It is very dangerous to swim in the river alone.

一个人到河里游泳是很危险的。