查询词典 Boolean algebra

As a special case, we studied the resolution-like procedures of lattice-valued Horn-clause with truth-value in lattice implication algebra, and discussed the lattice-valued Prolog language based on that kind of lattice-valued Horn-clause.

作为特殊情形，特别研究了基于格蕴涵代数的格值Horn子句的类归结方法，并对建立其上的格值Prolog语言作了一定的探讨。

For my math requirements, Ill be taking algebra, calculus, and trig.

数学的必修学分预定选代数、微积分、三角法。

For my math requirements, I'll be taking algebra, calculus, and trig.

pD D'y e d0 数学的必修学分预定选代数、微积分、三角法。

Lab 是 laboratory的缩写.6 For my math requirements, I'll be taking algebra, calculus, and trig.

数学的必修学分预定选代数、微积分、三角法。

Or worry, but know that worrying is as effective as trying to solve an algebra equation by chewing bubblegum

又或者你可以担心，但要同时知道为将来担心，就像以嚼口香糖来解决一条代数方程式那麽有效

Don't worry about the future; or worry, but know that worrying is as effective as trying to solve an algebra equation by chewing bubblegum.

不要担心未来；或者担心吧，但是你要知道但心的效果就好像用泡泡糖来解决代数问题一样。

Don't worry about the future; or worry, but know that worrying is as effective as trying to solve an algebra equation by chewing bubblegum.

不必担心未来；或担心，但知道，令人担忧的是，作为有效的作为试图解决一个代数方程，由嚼泡泡糖。

Gram-Schmidt algorithm is one of the fundamental methods in linear algebra, which is mainly used to compute QR decomposition.

Gram-Schmidt正交化算法是数值线性代数中的基本算法之一，主要用于计算矩阵QR分解。

For formalized lattice implication algebra theoryT, it is proved thatTis preserved under submodels, unions of chains and homomorphisms;Tis neither complete nor model complete, and hence there exists no built-in Skolem function.

讨论有关格蕴涵代数结构的模型论性质，证明了形式化格蕴涵代数理论T保子模型、保模型链之并、保模型同态，理论T不是完备的、也不是模型完备的，因而不存在内在Skolem函数。

Homotopy is a concept of algebra topology, and homotopy algorithm has been applied to solving the practical problems.

同伦是代数拓扑学中的概念，同伦算法已应用于一些工程实际问题的求解。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。