您要查找的是不是：
- mathematical logical semantics 数理逻辑语义学
- Mathematical Logic of Winning Strategy for Games? 围棋必胜法的数理逻辑观照?
- "Mr. Fang, have you ever studied mathematical logic? “方先生，你对数理逻辑用过功没有?”
- Judging Function of Methods of Mathematical Logic Such as Truth Table etc. 真值表等数理逻辑方法的判定功能。
- The indexical expressions in Russian include the following aspects: grammatical futures of pronoun, logical semantics, referential/ non-referential, speech acts, and so on. 俄语指示现象涉及的主要问题有:代词的语法属性、语言手段的称名方式、名称的实义化、句子的逻辑语义、有定/无定、言语行为、语用变项的关系、朴素的语言世界模式等。
- The creation of news headline should consider the three above-mentioned factors and pursue the value of pragmatics for news headline based on a grammatical syntax structure and logical semantics. 新闻标题的制作应该考虑到三个平面的因素，在句法结构“合法”、语义“合理”的基础上，追求新闻标题的语用价值。
- But there is a more useful notion of completeness, derived from the meaning of this word in mathematical logic. 但是这里完整性有一个比较有用的概念，这个概念是从这个单词在数学逻辑的意思中获得的。
- Introduction to Mathematical Logic by Vilnis Detlovs and Karlis Podnieks Podnieks is a comprehensive tutorial. See Section 1.5. 这是一个未完成的逻辑学小作品。欢迎您积极编辑或修订来帮助天华通鉴扩充其内容。
- Mathematical formulations and propositions in mathematical logic are based on axioms, and hence these fields are often referred to as pure disciplines. 数学公式和数学逻辑命题是建立在公理基础上，而因此这些领域通常指如纯学科那样。
- As was the case for his seminal contributions to computing and mathematical logic, his work on morphogenesis has few if any direct predecessors. 正如他对计算机、数学逻辑的潜在贡献一样，他在形态上的工作就算不是前无古人也是寥寥无几。
- Characteristic of this theorematic the biggest science, it is to use mathematical logic to beg solution individual actually.. 这条定理的最大学术特点，实际上是用数理逻辑求解个人...
- By means of the language of mathematical logic the invariance of Hamilton principle under canonical transformation is expressed and proved. 用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性，并给以证明。
- On the other hand, Bergson's rival, Bertrand Russell, was willing to humor the Chinese and therefore invited him over for tea.From then on Ch'u studied mathematical logic. 柏格森的敌人罗素肯敷衍中国人，请他喝过一次茶，他从此研究数理逻辑。
- The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future. 巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
- Loosely, a mathematical or logic operator. 不严格地说，一种数学或逻辑运算符。
- Temporal Logic Semantics Model and Its Implementation Using PVS 基于PVS的时序逻辑语义模型及其实现
- Due to the rationale of Von Neumann computer are based on mathematical logic，it did a wonderful job when dealing with mathematics problem. 由于冯．诺依曼式计算机的理论基础是数理逻辑,现今的计算机处理数理问题无比成功。
- Computer output with no mathematical or logical significance. 一种无数值或逻辑意义的计算机输出数据。
- Mathematical logic is an important component part of dispersed mathematics and a base of learning dispersed mathematics well. 数理逻辑是离散数学的重要组成部分,是学好离散数学的基础。
- In chapter three, the author makes a comment on Russell"s mathematics logicism. 第三章对罗素的数学逻辑主义思想作出评论。
