全部

1·It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.

它是可计算性的形式理论，正如经典逻辑是真理的形式理论。

2·In 1928, the year Nash was born, von Neumann outlined a first formal theory of games, showing that in two-person, zero-sum games, there would always be an equilibrium.

1928年，即纳什出生的那一年，冯·诺依曼概述了最早的正式博弈论，表明，在两人的零和博弈中，向来存在一种均衡。

3·This article attempts to demonstrate my belief that you don't need to know a lot about formal parsing theory to be able to parse!

本文力图阐明我的理念：您并不需要了解很多有关正规的解析理论就能进行解析！

4·Barnard's (1938) purpose is to provide a comprehensive theory of cooperative behavior in formal organizations.1.

Barnard(1938)的创作目的是为了给正式组织中的合作行为提出一个全面的理论。

5·On the one hand, classical organization theory emphasizes formal lines of authority in a hierarchical organization, implying (as Barnard observed) that legitimate commands are typically carried out.

一方面，经典的组织理论强调层级组织中存在正式的职权线，这暗示了（也像Barnard所注意到的一样）通常所执行的命令的合法性。

6·This is the province of game theory, to which Ms Ostrom has contributed, both through formal modelling of what she found in the field and subsequent laboratory tests of her models.

这是Ostrom贡献的地方游戏的规则，即通过其在地区发现的正式模型，又随后验证了她的模型。

7·Because of the traditional research method, art theory research is generally founded in the writer-centred method, neglecting the formal language value of the work.

由于传统研究方法的原因，美术学理论研究一般囿于作者中心论的方法，作品本身的形式语言价值被忽略了。

8·A formal degree is seldom needed, but your employer may require certification in the basics of educational theory, group dynamics, and communication.

这里很少授予正式学位，但是学员能获得一些证书，诸如：教育理论基础学，团体动力学以及交流学。

9·The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.

本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA 分子的可计算性及其计算能力。

10·Outline of a theory of truth is about the logical paradox, in which Kripke put forward a theory of truth of fixed point, and gave concrete formal construction.

《真理论纲要》就是克里普克关于语义悖论的研究成果。他在其中提出了“定点”真理理论，并给出了具体的形式建构。