It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
它是可计算性的形式理论，正如经典逻辑是真理的形式理论。
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年，即纳什出生的那一年，冯·诺依曼概述了最早的正式博弈论，表明，在两人的零和博弈中，向来存在一种均衡。
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!
本文力图阐明我的理念：您并不需要了解很多有关正规的解析理论就能进行解析！
Barnard's (1938) purpose is to provide a comprehensive theory of cooperative behavior in formal organizations.1.
Barnard(1938)的创作目的是为了给正式组织中的合作行为提出一个全面的理论。
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所注意到的一样）通常所执行的命令的合法性。
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贡献的地方游戏的规则，即通过其在地区发现的正式模型，又随后验证了她的模型。
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.
由于传统研究方法的原因，美术学理论研究一般囿于作者中心论的方法，作品本身的形式语言价值被忽略了。
A formal degree is seldom needed, but your employer may require certification in the basics of educational theory, group dynamics, and communication.
这里很少授予正式学位，但是学员能获得一些证书，诸如：教育理论基础学，团体动力学以及交流学。
The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.
本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。
"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.
《真理论纲要》就是克里普克关于语义悖论的研究成果。他在其中提出了“定点”真理理论，并给出了具体的形式建构。
Balloon delivery of application method is simple to learn, the use of safety, it must be to go through formal training, the study of theory and practice of teaching, can we correctly grasp.
气囊助产施术方法简便易学，使用安全，但必须要经过正规的培训，进行理论学习与示教实习，才能正确掌握。
Education nin design, HCI, usability or ability to display formal understanding of design and HCI theory and practice.
罽设计、人机交互、可用性专业或者可以展示对设计的理解、交互设计理论和实践的能力。
Recently, in the formal justice, the theory of justice in terms of medical care procedure has great influence.
在形式公正方面，近来医疗程序公正理论影响很大。
The paper gives an algorithm of obtaining all form concepts from the formal context based on the concept lattice theory. And then, to extract the implication rules from the lattice.
基于概念格理论提出了一种从形式背景中获得所有形式概念的算法，并根据构建的概念格提取蕴含规则。
Situation Semantics is a new semantic theory. Although it is very successful in philosophical interpretations of meaning and common life reference, its formal technique is not mature.
情境语义学是一种新型语义理论，虽然它在意义和日常推理的哲学解释上获得极大成功，但在形式技术上还不够成熟。
Based on the formal language and automaton theory, this paper mainly studies the automatic recognition of steel character symbol.
本文基于形式语言与自动机理论，主要对钢筋标识串的自动识别进行了研究。
Components matching depends on precisely describing the semantics of components, and formal specification is based on strict mathematic concept and theory.
构件匹配依靠精确描述构件的语义，而形式规格说明基于严格的数学概念和理论。
Modern Syntax by Professor Mei Deming is a book which gives a comprehensive introduction to the syntactic theory of formal linguistics.
梅德明教授的《现代句法学》是一本全面系统地介绍形式语言学句法理论的著作。
And its formal analysis is presented using authentication test theory in the strand Spaces. Finally its applications to TLS protocol are discussed.
用串空间的认证测试理论对其进行了形式分析，最后探讨了它在TLS协议中的应用。
Computational learning theory provides formal framework for comparing the performance of two algorithms, and can determine the sample complexity and the computational complexity of some concept class.
计算学习理论为比较两算法的性能提供了形式化的框架，并能确定某概念类的计算复杂度和样本复杂度。
Z is presently the most fashionable formal specification. But as a whole, the theory and technology of Z specification isn't extensively applied in industry field.
是目前最为流行的一种形式规格说明语言，但就总体而言，Z规格说明的理论和技术尚未达到可以在工业界广泛应用的程度。
The formal description techniques for intelligent network (IN) service and the theory and methods in IN's service verification are the key technologies in IN's realization.
智能网业务的形式化描述技术和业务验证的理论与方法是目前智能网（IN）业务实现过程中的关键技术。
The second part sums up the definition and theory about M&A on the basis of consulting formal document.
第二部分是在参阅大量文献的基础上归纳了并购相关的概念和理论。
The reasoning mechanism of PTES can deal with both uncertain facts and uncertain rules in a formal way by employing possibilistic logic and fuzzy set theory as its logical basis.
PTES的推理机制使用了可能性逻辑及模糊集合理论作为其逻辑基础，并以一种形式化的方法提供了处理非确定事实及非确定规则的能力。
We established a formal series symmetry theory for a type of generalized 2+1dimensional bilinear equation in two different ways.
对一类2+1维双线性方程从两个不同角度建立了形式级数对称理论。
Due to lack of formal education with relative science, so the phenomenon is not tested by the theory and experience. And also, he failed to public a series papers including kinds of themes.
因为缺乏与科学相关的正式教育，所以不是透过理论与实验来验证，他打算发表一系列包含各种主题的论文，也因为缺乏系统的理论基础终未实现。
Due to lack of formal education with relative science, so the phenomenon is not tested by the theory and experience. And also, he failed to public a series papers including kinds of themes.
因为缺乏与科学相关的正式教育，所以不是透过理论与实验来验证，他打算发表一系列包含各种主题的论文，也因为缺乏系统的理论基础终未实现。
应用推荐