巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
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.
不止是下棋或数学这类跟数理有关的事，你知道，有些程序甚至能创作音乐。
Not just in sort of mathematical things like chess or math, there are, as you know, programs that can write music.
年轻时，他无法出版自己的作品，他在数理学院完成学业。
But as a young man he couldn't get his work published, and he wound up studying mathematics in college.
男人的数理化思维较强
过去40年发生多次金融危机之后，大多数理性的人开始接受这一观点：金融市场可以有泡沫。
After so many financial crises in the past 40 years most reasonable people would now accept that bubbles in asset markets can exist.
“然而”，他说“我相信他们绝大多数理解并尊重他们的美国同行”。
"However," he says, "I believe the majority of them really understand and respect" the American architects' role.
多数理论课程和许多编程教科书都清楚地解释了并发概念，但并发是一个很难的主题，几乎我们所有人都需要进修。
Most academic programs and many programming texts explain the concepts of concurrency clearly, but it's a difficult topic, and nearly all of us can use a refresher.
只有当你相信有仙女在免费分发钞票时，乘数理论才会起作用。
The multiplier theory only works if you believe there's a fairy passing out free dollars.
在桑福德的六年州长期间，他否决数以百计的由共和党控制的国会认可法案，其大多数理由是认为开支过度。
Mr Sanford has vetoed hundreds of bills approved by the Republican-controlled legislature during his six years as governor, mostly over what he considered wasteful spending.
数理化语文英语全很好，音乐体育计算机都零分，连开机都不会，我还是一个优等生。
Good English language all science, music, sports computer are zero even boot is not, I am a top student.
但是这种分数理论站不住脚。当1990年日本的经济沉底时，美国经济在1991年进入了历史上最长一段的经济繁荣期。
But this test score thesis failed to pass muster when Japan's economy tanked in 1990, while the U.S. economy in 1991 entered the longest period of economic prosperity in its history.
来自以色列特拉维夫大学的丹·扎凯教授有一个可以使等待中的顾客心情愉悦的商业小窍门，他把这一研究结果发表在了《神经数理学》杂志上。
But Dan Zakay of Tel Aviv University has some tricks for businesses to keep waiting customers happy. He published the psychology research in the journal NeuroQuantology.
像中国或韩国这样的市场，他们的数理化教育做得很好，仅凭单方面的力量是否可以产出这种成果？
Are markets like Korea or China, are they able to produce those science and math education results alone?
相信口红指数理念的人追根求源，发现大萧条时期出现了这个现象，尽管当时经济骤降温，化妆品的销售却增长了25%。
Believers in the theory trace the phenomenon back to the Depression, when cosmetic sales increased by 25%, despite the convulsing economy.
应该指出，数理统计的结果具有一定的代表性，但是这一结果受到样本的数目和质量的控制。
It should be pointed out that the results of mathematical statistics have a certain representation, but it is restricted by the quantity and quality of samples.
这种演绎通常是数理推演，所以在这点上培根低估了数学在科学研究中的重要性。
Usually the deduction is mathematical, and in this respect Bacon underestimated the importance of mathematics in scientific investigation.
较之计量史学，数理史学的公式不仅更为复杂，而且更为无用。
Compared with measuring historiography, mathematical historiography formula not only is more complex, and more useless.
莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
Leibniz was an inventor of the calculus and a forefather of modern mathematical logic.
数理统计(也称为统计理论)是应用数学分支，利用概率论和分析研究的理论基础的统计数据。
Mathematical statistics (also called statistical theory) is the branch of applied mathematics that USES probability theory and analysis to examine the theoretical basis of statistics.
运用概率论和数理统计方法，确定了第二代红外线热轴判别标准的几个主要参数的计算机算法。
Finally several parameters for second generation infrared hot-box alarm criteria are determined by means of the probability theory and the mathematical statistics.
运用数理统计学的误差传递公式，推导出了钢梁截面抗弯承载力统计参数的计算公式。
The calculation formula of flexural load capacity of steel beams is obtained by using the error transfer formula of mathematical statistics.
调查人员选取了代数、几何、数据分心和数理概念进行测试。
They tested algebra, geometry, data analysis and number concepts.
本研究通过理论分析、问卷调查、数理统计等方法对造成部分贫困大学生心理不健康的原因进行了分析。
This paper deals with the reasons that cause the unhealthy psychology of the poor students by some methods such as theoretical analysis questionnaire investigation and mathematics statistics, etc.
运用问卷调查、数理统计、逻辑归纳等方法，对我国跨栏跑项目落后状况影响因素进行量化和动态分析。
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.
正是这种简化，深刻地反映出计量史学、数理史学与理想化史学的本质区别。
It is this simplified deeply reflects measurement historiography, mathematical historiography and idealized historiography of substaintial distinction.
通过模型试验，运用数理统计的方差分析理论对切缝套管的参数进行技术优化，以指导工程实践。
By model experiment, the parameters of slit holder are optimized turning to variance analysis theory of mathematical statistics in order to guide engineering project.
通过模型试验，运用数理统计的方差分析理论对切缝套管的参数进行技术优化，以指导工程实践。
By model experiment, the parameters of slit holder are optimized turning to variance analysis theory of mathematical statistics in order to guide engineering project.
应用推荐