定理的

The first modestly skillful full-board chess program; the first checkers program, which defeated a regional champion; a program able to prove theorems in Euclidean plane geometry, which could pass the problem-solving section of a New York State high school regents examination; and serious research in both speech and character recognition were all part of the IBM Research playbook.

第一款水平一般的全棋盘象棋程序；第一款跳棋程序，它打败了区跳棋冠军；能证明欧几里德平面几何定理的程序，它能通过纽约高中入学考试；还有对语言和字符识别上的重要研究；这些都是IBM研究部打的算盘。

The proof of Fermat's Last Theorem was a major mathematical feat of the 20th century.

费马大定理的证明是20世纪数学的一个主要功绩。

L The proof of Fermat\'s Last Theorem was a major mathematical feat of the 20th century.

费马大定理的证明是20世纪数学的一个主要功绩。

During the discussions, a few overseas mathematical researchers asked Jiang Chun-xuan, if this is the case, can you write another convincing "Disprove Wiles' Proof of Fermat's Last Theorem"?

讨论中，国外几位数学研究者问蒋春暄，既然这样，你能否再写一篇非常有说服力的《怀尔斯对费马大定理的证明之否定》？

After Jiang Chun-xuan writes his "Disprove Wile's Proof of Fermat's Last Theorem" with full evidence, what are you going to do?

蒋春暄证据充分的《怀尔斯对费马大定理的证明之否定》论文写出来以后，你们将如何办？

Rather, Pareto's statement was the first formal assertion of what would be known as the first fundamental theorem of welfare economics .

[ 31 ]相反，帕累托的声明是第一次正式断言这将是被称为第一基本定理的福利经济学。

A complete analysis must build on the implicit function theorem.

完整的分析必须建立在隐函数定理的基础上。

On the infinite matrix transformations and convergence,first,it presents an equiva-lent form of the famous Antosik-Mikusinski basic matrix theorem.

在无穷矩阵变换与收敛方面，首先指出著名的Antosik-Mikusinski基本矩阵定理的一个等价形式。

On the basis of the solution identification theorem in linear equations,a method is presented to ascertain whether there exists all-nonzero solutions to an inhomogeneous linear equation.

在线性方程组有解判别定理的基础上，给出了一个判定非齐次线性方程组存在全非零解的方法。

An equivalent theorem for the Loéve theorem is obtained and the limit theorem for estimation of sum of associated random sequences is also studied.

特别是，获得了Loéve定理的一个等价形式，并讨论了相依随机变量列部分和上升的阶。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。