查询词典 calculus of classes
- 与 calculus of classes 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Tarski's definition of truth of the calculus of classes is: x is true if and only if x is a sentence of the calculus of classes and every infinite sequence of classes satisfies x .
塔斯基得到的真概念定义是：x是类演算语言的任一语句，x为真当且仅当每一个类的无穷序列都满足x。
-
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.
通过分析语句的结构，塔斯基发现很难直接定义出类演算语言的真概念，而语句函项所具有的可递归形成的结构性质可以使我们得到脱离困境的办法：先采用递归方法针对语句函项定义出满足概念，然后把语句作为语句函项的特殊形式，借助于满足概念最终可以得到类演算语言的真概念定义。
-
Tarski constructed strictly the calculus of classes and its metalanguage,then defined some important concepts of the calculus of classes,such as sentential function,free variable, sentence,operation,consequence.
塔斯基严格地构造出了类演算语言，然后又构造出了类演算语言的元语言，并且在元语言中定义出类演算语言的语句函项、自由变元、语句、运算、后承等重要概念。
-
ABSTRACT In this thesis, using the methods of ODE and calculus of variations, we prove the existence of radial and non-radial solutions of some classes of quasilinear elliptic equations.
本文主要是用ODE方法和极小变分方法证明拟线性椭圆型方程径向解和非径向解的存在性，用先验估计方法证明拟线性抛物型方程整体解的不存在性，得到了一些关于拟线性方程的新结果。
- 推荐网络例句
-
Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.
在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。
-
In fact,I've got him on the satellite mobile right now.
实际上 我们已接通卫星可视电话了
-
The enrich the peopling of Deng Xiaoping of century great person thought, it is the main component in system of theory of Deng Xiaoping economy, it is a when our country economy builds basic task important facet.
世纪伟人邓小平的富民思想，是邓小平经济理论体系中的重要组成部分，是我国经济建设根本任务的一个重要方面。