查询词典 algebraic logic of pocket calculator

Since there are special courses devoted to commutative algebra and algebraic geometry, these parts are not included in the present course.

因此选择的内容应有普适性、示范性、基础性、重要性和可教性。过于专门化的理论或细节不是这门课的任务。

The thesis studies the formation of several basic algebraic terms such as "algebra","equation" in the book of Elements of Algebra and Algebra.

本文的研究表明，术语与其所表述的数学内容之间的差异反映当时数学术语在翻译时不能保证单义性和系统性。

Based on the filtered Lie algebra of the universal enveloping algebra, the algebraic structure of projected subsystems are studied. It is proved that they have simple decompositions, and the construction of the representations is given as well as the corresponding criterion for project limit controllability.

基于泛包络代数的滤李代数结构，研究了投影子系统的代数结构，证明它们具有简单的分解形式，并给出了它们的表示的构造方法和投影极限能控性的判别定理。

In the recent years, due to there being intrinsic relationships between tilting theory and quantum group, Lie algebra and other algebraic branch, tilting theory has been one of the international hot topics.

现在，由于倾斜理论与量子群，李代数等其它代数学科的本质联系，倾斜理论成为国际研究热点之一。1998年，I。

I want to learn some complexity theory,mathematics theory such as Computational number theory,Algorithmic Algebra,Algebraic function fields over finite fields and the group thoery.

在这半年里，我将系统地加深学习一些必要的数学知识，比如计算复杂性理论，计算性数论算法，群论，算法的代数学等等。

Lattice implication algebra is an algebraic system combinating lattice with implication algebra.

格蕴涵代数是徐扬教授为研究格值逻辑把格与蕴涵代数相结合提出的一个代数系统。

The methods to depict elements of OUMM by LSL are studied, together with the methods to check the consistence between object type definition and instances, attribute definition and states by using the consistence of algebraic specification and algebra.

本文提出了用LSL描述OUMM的各种建模元素到的方法，和通过代数规约与代数的一致性来检验OUMM中对象类型定义和对象实例、属性与状态定义的一致性的方法。

A research student. I want to learn some complexity theory, mathematics theory such as Computational number theory,Algorithmic Algebra,Algebraic function fields over finite fields and the group thoery.

当我正式进入大学院，成为院生的时候，在修士学习的第一年中，我学习一些算法研究和暗号理论的课程，我将学习一些比较难的暗号算法，比如椭圆曲线暗号，我还将学习电子署名，拟似乱数，电子透かし，认证，键管理，键回复，键预托和zero知识证明等等。

Subjects were discussed and dispensed with through algebraic means, but calculus was not used.

主题进行了讨论，并免除通过代数方法，但不是用来演算。

This article listed the main clue of the development of mathematics in the sixteenth and seventeenth century. Based on that, we analyzed the algebraic basis of calculus. The basis had an algorithmic character which could use program to calculate.

本文在列出十六、十七世纪代数学发展主线的基础上，分析了微积分产生的代数学基础，这个基础本身带有强烈的程序化的算法特征。

The dissecting of samples in group2 were difficult. The root of pulmonary artery and ascending aorta failed to be unfolded because fibrous tissue was tough, right and left fibrous trigone were too firm to be solved by hand. Cardiac muscle fibers couldn't be stripped along myofibrillar trajectory since they were prone to break because of their friability.

组2的心脏解剖困难，表现为纤维组织坚韧，游离肺动脉非常困难；徒手无法松解左、右纤维三角，肺动脉和主动脉根部的游离非常困难；心肌纤维坚硬、质脆，解剖时容易断离成碎块，无法沿纤维走行方向剥离。

We have battled against the odds in a province that has become increasingly violent.

我们对在一个争夺日益激烈省的可能性。