推理

As for a calculus of rational thought: dream on Leibnitz.

而对于推理思维，就继续莱布尼兹的梦想吧。

Your thesis needs lemma to prove you accurate reasons.

你的论文缺少能证明你的论点的正确推理。

It computes wind factors for flight data file, uses differential equations to solve for position and tension vectors as a function of arc length, and uses Runge-Kutta method for integration of ordinary differential equations.

该软件计算用于飞行数据文件的风向因素，使用不同的方程式，比如一个弧线长度函数来解决位置和牵引方向问题，使用 Runge-Kutta 方法解决综合推理差异方程式。

The code is generated artificial intelligence-an example of that function is limited to the identification of the animal forward and ...

本代码是人工智能中产生式的一个例子，功能是实现对有限动物特征识别的正向和反相推理。

These images that need no word expression and logical reasoning, even need no brain-racking search for the archetypes, are a kind of self-cultural sediment. They may have multiple and cultural relations or collisions with a declining national spirit at present, but the paintings themselves not only act as a representation of dominant cultural traits of our nation, but are also my attempts to continue stone inscriptions and brick engravings by those ancient people through knife scraping and line engraving in cold and gray tone, not only a visual sediment of my own obscure emotion, but also a kind of exterior exposition of my personal art spirit.

这些无须用言词、逻辑去表达、推理、甚至去挖空心思搜寻的形象，是自我的某种文化的积淀，或许与时下民族气性衰微与潦落的状况有着多层面的文化上的关联与冲突，但画面本身不仅成为民族强势文化特质的某种形式上的渲染，同时也希籍冷灰色调下的刀刮、线刻能够成为古人碑帖、砖刻痕迹的某种延续，既是自我内心晦涩情绪的视觉沉淀，也是个人艺术精神的某种外化的诠释。

Through mathematical reasoning, this article found the relationship between the output voltage and the load, the curve of the generator external characteristic being provided.

本文运用数学推理的方法找出了同步发电机的输出电压与负载电流及负载性质之间的关系，确立了发电机外特性曲线的具体形状。

By means of statistical inference as well as hypothesis test method, it is determined that the variables of compressive stress and shearing stress are of Extreme-value Ⅰ Distribution and that the variables of frictional coefficient and cohesion coefficient are of Logarithmic Normal Distribution.

应用统计推理和假设检验方法分析得知，压应力与切应力随机变量呈极值Ⅰ型分布，摩擦系数与粘结力系数随机变量呈对数正态分布。

The rules of modus ponens are given and the main results of propositional calculus in two-valued logic.

本文利用有补T-范建立了一类Fuzzy命题演算系统，给出了假言推理规则，推广了二值逻辑中命题演算的主要结果，且演算简单方便。

It introduces the basic knowledge and ideas of mathematical logic and classic set theory, including proposition logic and predicate logic, reasoning calculus and theorem proving methods, basic operations and properties of sets and relations, functions of any sets and their properties, the cardinals of infinite sets, and the applications of knowledge and ideas above in computer sciences.

本课程系统介绍数理逻辑与朴素集合论的基础知识，包括：命题逻辑和谓词逻辑、定理的推理演算和机器证明方法，集合和二元关系的基本运算和性质、任意集合中的函数及其性质，无穷集合的基数，以及上述知识在计算机科学中的应用。

What Leibniz actually intended by his characteristica universalis and calculus ratiocinator, and the extent to which modern formal logic does justice to the calculus, may never be established.

莱布尼茨通过他的《普遍文字》和推理演算的实际意图，或当代形式逻辑对计算法的评价程度，也许是永远都不会实现的。

What would he tell Judith and the children?

他将怎样告诉朱迪丝和孩子们呢？

I this is at that time, the opinion with peacockish true girl is full of in a heart.

这就是当时的我，一个心中布满虚荣的女孩子真实的想法。