巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
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.
莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
Leibniz was an inventor of the calculus and a forefather of modern mathematical logic.
这是因为“蓍”不仅反映了古人对生命的崇拜意识，更重要的是，它使《易》学思想建立在一个严密的数理逻辑系统之上。
This is because Shi not only reflects ancient people's worshiping consciousness toward life, and more important is, Shi makes Yi thoughts based on the precise system of mathematical logic.
数理逻辑学家宣称，“完美十字”的排列不仅象征着日历中百年一遇的巧合，也是“再生的强大时刻”。
Numerologists are saying that the row of "perfect tens" symbolizes not just a once in a 100 years quirk of the calendar, but a "powerful moment of rebirth".
Levoy博士和Hanrahan博士于1996发表的论文描述了一种运用数理逻辑将这一技术简化的方法，即使现成的数理计算芯片简化。尽管近15年后，这中方法仍是可行的。
Dr Levoy and Dr Hanrahan's 1996 paper described a way of simplifying this field mathematically which makes it feasible-albeit nearly 15 years later-to calculate using off-the-shelf chips.
在数理逻辑中研究的主要对象是各种演算。
In mathematical logic in the study is the main target of all kinds of calculus.
运用问卷调查、数理统计、逻辑归纳等方法，对我国跨栏跑项目落后状况影响因素进行量化和动态分析。
By using the method of questionnaire, mathematical statistics and logical analysis, this paper makes quantitative and dynamical analysis on condition of our hurdle race performance lag behind.
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
因此，情报推理不能以正统数理逻辑作为推理工具。
Therefore, intelligence inference should not be based upon the orthodox mathematical logic.
研究过程中，本文采用了文献资料法、专家访谈法、录像观察分析法、数理统计法、逻辑分析法等研究方法。
Course of the study, this article USES literature, expert questionnaire survey method, video observation analysis, mathematical statistics, logic, analysis and other research methods.
运用文献资料、数理统计和逻辑分析等方法，对1988 - 2007年间我国13种中文体育类核心期刊上发表155篇网球科研论文进行统计分析。
By using the methods of literature review, mathematical statistics and logic analysis, this paper analyzes 155 tennis research papers published from 1988 to 2007 on 13 sport core periodicals.
研究方法：主要采用文献资料法、逻辑分析法、数理统计法等研究方法。
Research Methods: Research Methods:The main use of document, logical analysis, mathematical statistics, and so on.
本文以文献资料法、调查法、数理统计法、逻辑分析法为主要的研究方法。
Based on literature data, the survey. Method, mathematical statistics, logical analysis as the main research methods.
为了建构数理辩证逻辑系统，必须首先正确理解如下几个理论问题：1。
To construct the system of mathematical dialectical logic, we must first understand correctly the following theoretical issues: 1.
数理逻辑是《离散数学》的难点之一。
Mathematical logic is one of the difficulties of "Discrete Mathematics".
数理逻辑中的实质蕴涵不是充分条件关系的科学抽象，从而产生蕴涵怪论。
The implication of the mathematical logic is not the scientific abstract of sufficient conditional relation, thus an implication paradox appears.
我不明白这复杂的数理逻辑运算。
I don't understand the complicated mathematical logic calculation.
第四章：概括萨蒂钢琴作品中的三种数理逻辑原则——黄金分割、斐波那契数列、卢卡斯数列。
Chapter Four: a generalization about three principles of mathematical logic in Satie's piano works Golden Section, Fibonacci Sequence, and Lucas Sequence.
本研究应用的研究方法有：文献资料法、法条归类法、专家访谈法、问卷调查法、数理统计法、逻辑分析法等。
In this study, the research methods are: literature, law classified, expert interviews, questionnaire surveys, mathematical statistics, and logic analysis method.
由于冯。诺依曼式计算机的理论基础是数理逻辑，现今的计算机处理数理问题无比成功。
Due to the rationale of Von Neumann computer are based on mathematical logic, it did a wonderful job when dealing with mathematics problem.
规范方法应兼顾逻辑分析、数理统计和数据挖掘等。
In the methods of normalization consideration must be given to logic analysis, mathematical statistics and data digging.
本文运用的研究方法主要有：文献法、问卷调查法、访谈调查法、数理统计法、逻辑分析法。
This paper applies the method of documents, investigating method interviewing method, mathematic statistics method, logical analysis method etc.
运用文献资料、问卷调查、访谈、现场观察、数理统计、逻辑分析等方法。
The use of literature, questionnaire surveys, expert interviews, field observation, mathematical statistics, logic, analysis and other methods.
运用文献资料调研、专家访谈、数理统计、逻辑分析等研究方法，对我国985高校体育学研究生教育现状进行统计分析。
The use of literature research, expert interviews, statistics and logical analysis, research methods, 985 College of Graduate Education in Physical Education for statistical analysis.
在数理逻辑教学中，通过适当的例题选择，可以加强学生逻辑思维能力的训练，培养他们分析问题和解决问题的能力。
In the course of mathematical logic teaching, we can improve the students' ability of logic thinking by well - chosen examples, and train their ability to analyse and solve problems.
本文通过文献资料法、逻辑分析法、数理统计法等研究方法，对北京奥运会对北京文化创意产业的影响进行了深入的研究。
In this paper, through literature, logic analysis, data statistics, such as research methods, in-depth studies of the Beijing Olympic Games in Beijing the impact of cultural and creative industries.
经典的金融学是构建在严谨的数理逻辑推理前提之上。
The Classical Finance is on the basic of the precise math discursion and the logical discursion.
本文针对这个问题，从数理逻辑的角度出发，建立了一个形式化模型。
In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.
如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
How to make classical mathematical logic more flexible to contain various uncertainties and evolution is a new challenge that logics faces.
如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
How to make classical mathematical logic more flexible to contain various uncertainties and evolution is a new challenge that logics faces.
应用推荐