sentential calculus
- sentential calculus的基本解释
-
-
[计] 句子演算
- 相似词
- 更多 网络例句 与sentential calculus相关的网络例句 [注：此内容来源于网络，仅供参考]
-
After analyzing the structure of sentences,Tarski found that, it was impossible to define the truth of the calculus of classes directly,but making use of the structure character of sentential functions could give us the approach to escape the dilemma:Firstly,we could defined the concept of satisfaction in sentential functions by means of recursive method;Then,we could regard sentences as a peculiar form of sentential functions;Finally,with the help of the concept of satisfaction,we could defined successfully the truth of the calculus of classes.
通过分析语句的结构，塔斯基发现很难直接定义出类演算语言的真概念，而语句函项所具有的可递归形成的结构性质可以使我们得到脱离困境的办法：先采用递归方法针对语句函项定义出满足概念，然后把语句作为语句函项的特殊形式，借助于满足概念最终可以得到类演算语言的真概念定义。
-
Using differential calculus knowledge to testify inequality, Calculus of higher mathematics is the core and calculus method of higher mathematics is typical of the whole mathematical method, the method is introduced for calculus ideas to solve the problem of finding an inequation, to make way for obtaining inequalities can be simple, the application of differential mid-value theorem and Taylor formula illustrate some of the inequality proof method.
运用微分学知识证明不等式；微积分是高等数学的核心，微积分思想方法是高等数学乃至整个数学的典型方法，微积分思想方法的引入为解决不等式证明的难题找到了突破，用来解不等式可使解题思路变得简单，文章应用微分中值定理及泰勒公式举例说明了部分不等式的证明方法。
-
The calcalus learns is a mathematic branch connected closely with scientific application.Infinitesimal is an important componant in the theoretical system and has an outstanding effect on the forming of the basis and conception of the theory. infinitesimal ; calculus ; the calculus learns ; differential calculus ; integral calculus
引 言微积分学是建立在实数、函数和极限理论基础上，研究函数微分、积分以及有关概念与应用的数学分支。17世纪精密科学的飞速发展，天文学、力学、光学、工业技术要求数学彻底革新，导致了无穷小概念的问世，促使费马增量理论开创微分学的先河，同时奠定了柯西的极限理论。
- 更多网络解释 与sentential calculus相关的网络解释 [注：此内容来源于网络，仅供参考]
-
sentential calculus：命题演算
sentence 命题 | sentential calculus 命题演算 | sentential connective 命题联结词
-
sentential calculus：語句演算
sentential anaphora 句子照應 | sentential calculus 語句演算 | sentential conjunction 句子連接
-
sentential calculus：句演算
"句子合成程式","sentence synthesizing program,SSP" | "句演算","sentential calculus" | "句型","sentential form"
-
sentential calculus：命题演算;语句演算
命题演算;语句演算 sentential calculus | 复合命题 sentential combination | 命题变元;语句变元 sentential variable
-
classical sentential calculus：经典语句演算
classical mechanics 经典力学 | classical sentential calculus 经典语句演算 | classical set theory 经典集论