查询词典 involutory algebra

Parallel basic linear algebra subprograms have recently shown promise as a means of taking advantage of parallel computing in solving scientific problems.

平行的基本线性代数副程式是目前可行性极高的解决科学问题的平行计算方法。

In fact, the main goal of bernina is to provide access to selected functionalities of the Sum^it library to other computer algebra systems, or to users who do not own an Aldor compiler, or who feel more confortable with interactive access to a library.

的问题。事实上，它的主要目标是访问加总库的挑选函数到其他的计算机算术系统上，或者提供给那些不想用Aldor 编辑器的用户，或者提供给那些更喜欢对库用交互方式的用户。

George Boole develops a system of mathematics called Boolean algebra, which uses binary operations.

乔治。布尔开发采用二进位制运算的数学体系，称为布尔代数学。

In an algebra proposed by George Boole about 1850, the variables are permitted to have only two values true or false , usually written as 1 and 0, and the algebraic operations on the variables are limited to those defined as AND, OR, NOT.

George Boole 在1850年提出的代数学中，变量值只有两种：真和假，通常记为1和0，代数运算也仅局限于与、或、非。

The concept of a Bollean algebra was first proposed by the English mathematician George Boole in 1847.Since that time,Boole's original concept has been extensively developed and refined by algebraists and logicians.

布尔代数的概念最初是有英国数学家George Boole于1847年提出来的，从那时起，代数学家和逻辑学家们更广泛的发展了Boole的这一其实概念，并使之更加精练。

3 1 X*{! g5 C+ X K The concept of a Bollean algebra was first proposed by the English mathematician George Boole in 1847.Since that time,Boole's original concept has been extensively developed and refined by algebraists and logicians.

L， a3 M+* O； _6 M 布尔代数的概念最初是有英国数学家George Boole于1847年提出来的，从那时起，代数学家和逻辑学家们更广泛的发展了Boole的这一其实概念，并使之更加精练。

Mr Derbyshire, whose bookhas just been published in Britain after appearing in America last year, givesan intriguing account of these developments, and of the mathematiciansinvolved, such as George Boole, who "married algebra to logic" by inventingalgebraic ways to express logical arguments: he led an almost saintly life, butdied after his wife treated him for a chill by dousing him in buckets of icywater.

德比夏尔的这本书去年在美国出版，紧接着现在又在英国上市。书中对代数学的发展和历史上的数学家做了生动有趣的描述。例如乔治·布尔，他把&代数嫁给了逻辑&，用代数的方式表达逻辑参数。乔治·布尔一生圣洁，但是却死于他妻子淋头而下的冰水所致的风寒。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。