英语人>网络例句>logic of relations 相关的网络例句
logic of relations相关的网络例句

查询词典 logic of relations

与 logic of relations 相关的网络例句 [注:此内容来源于网络,仅供参考]

This is a criticism of the main point and the way of argument in Concept of Logic by Wang Lu. Wang's main point (the only object of logic is necessary inference and the nature of logic is necessity) failed completely to meet with the historical facts of the brith and development of the science of logic.

本文是对王路《逻辑的观念》一书基本观点(逻辑的对象仅仅是必然性推理,逻辑的内在机制是必然地得出)及其论证手法的批评:该书的基本观点完全不符合古今中外逻辑科学产生和发展的历史事实,其论证手法是&偷换和歪曲&。

Comparing withHayek's theory on society method, I believe constitution litigationmechanism must considering the following conclusion in modelingconstitutional method: first, the acquiring of constitutional method isusually effects system vicissitudes. Although constitutional arbitramentcan form definite constitutional method, it can't achieve perduringsubstantial results level of method; secondly, constitutional method isformed virtually by the mixture of two kind of potence, and one is socialpotence, the other is governmental potence. The constitutional method'srationality in logic structure rests directly with the wrestling process ofconstitutional logic and social process. Constitutional method is more akind of simulative conformation of natural logic and social logic, itforms by the wrestling of government, public, legislature andconstitution judging organ. Fourthly, the maintenance of constitutionalmethod depends on the inner power sustained by faith and exteriorpower coming from the background of compulsion. Fifthly,constitutional method itself is a dynamic structure, and it's realizingquomodo and vindicating means is being in vicissitude, however, it canonly provide condition and inspiritment.

对照哈耶克的社会秩序理论,笔者认为,宪法诉讼机制在型构宪政秩序时必然要照顾到以下结论:其一,宪政秩序的取得,往往是一个制度自然变迁的结果,宪法裁决虽然也可能在短期内形成一定的宪法秩序,不过却无法强行地达到一个较大范围内持久的秩序实效水准;其二,宪政秩序实际上是由两种力量交合而成的,一是社会力量,一是政府力量,宪政秩序的逻辑结构的合理性直接取决于宪法逻辑和社会逻辑之间的博弈过程;其三,宪政秩序更多的是一种对自然逻辑和社会逻辑的模拟形态,是经由政府、公众、立法机关与宪法裁判机构的合作博弈而形成的,宪法诉讼的功用至多在于提供博弈规则,以实现纳什均衡;其四,宪政秩序的维护主要依靠来自信念支持的内部力量与来自强制背景的外部力量;其五,宪政秩序本身是一个动态的、常新的结构,其实现方式与维护手段也处于不断变迁之中,但无论如何,宪法诉讼机制所能提供的只是制约与激励两种。

He made a comparative analysis on Chinese nominalistic logic with Western Aristotles logic and Indian classical logic, and revealed the main content of logic of Moism, including basic concept, principle of inference, induction ect.

本文拟从以下几个方面对梁启超的逻辑——方法论思想进行分析评述: 1、梁启超取得逻辑——方法论研究成就的历史条件:①清代诸子学的考证训诂成果使《墨子》一书稍可读通;②西学输入促进了梁启超对中国古典逻辑的研究;③研究墨学和科学的逻辑方法,为宣传维新变法思想提供方法论武器;④梁启超对墨子及墨家学说的主观偏爱。

They are: the achievements of textual research and exegesis of Zhu Zi Xue in Qing Dynasty; the promoting effect of the introducing Western theories that took on the research of Chinese classical logic; taking the doctrine of Moism and scientific logic method as a methodological weapon for propagating reformist thought and Liang Qichao"s favor to Mo Zi and theory of Moism.The second part is about Liang Qichao"s achievements of logic and methodology: he analyzed induction and deduction, and thoroughly analyzed induction in particular, and his thought about those was mainly correct; he analyzed comparison as a component of induction and discussed the cognitive function of comparison, he also explained how to use comparison in the research of history; he not only explicated the thinking process of analytical method and synthetic method, but also integrated the two methods with studying history and reading history , and turned them into specific research methods of history ;he expound the rule of causal law , just as Leibnizs principle of sufficient reason in Western modern times and the law of sufficient reasonin universal logic; he discussed nominal classification, and analyzed wrong classification of the forefathers, then he pointed out the significance of clarifying the basic of division .

不足在于:①梁启超对于各种科学方法的论述不够系统、全面;②梁启超比较研究方法仍存在一些缺陷,他的比较研究主要是将墨家论式与西方逻辑的三段论(有的与印度因明的三支作法)形式作求同研究,缺乏系统性和全面性,而且对三种逻辑的共同点和差异点的分析也缺乏理论深度,加之梁启超不懂得数理逻辑,缺乏精确的数理逻辑工具,因而使这种对比分析缺乏严密性和精确性。

With the background of application of fuzzy control techniques to a rather typical complex control system, gas-burning water heater, theories, applications and techniques of fuzzy information processing have been studies. The obtained results include:(1) For lattice-valued logic systems based on lattice implication algebras, two dynamical lattice-valued propositional logic Lvpl and lattice-valued first-order logic Lvfl have been constructed, and some theories and methods of fuzzy reasoning have been proposed based on fuzzy set theory and multi-valued logic.(2) Some methods for designing and optimizing fuzzy control systems and some corresponding control algorithms have been proposed, and some new theories and methods for fuzzy control rule base and fuzzy control system performance analysis have been introduced.(3) 6 fuzzy control systems have been developed, and some difficult problems on craft of manufacture, batch consistency, quality stability, installation and main

本项目以模糊控制技术用于燃气热水器这一较典型的复杂控制系统为应用背景,在模糊信息处理的理论、应用和技术三个层次开展了相关的研究工作:(1)进一步研究了基于格蕴涵代数的格值逻辑系统,建立了两种动态的格值命题逻辑Lvpl和格值一阶逻辑Lvfl,并基于模糊集理论和多值逻辑提出了多种模糊推理的理论与方法;(2)提出了模糊控制系统的多种设计及优化方法与控制算法,建立了模糊控制规则库和模糊控制系统性能分析的一些新理论与新方法;(3)研制完成了6个模糊控制系统,还特别解决了模糊控制燃气热水器和智能控制燃气热水器在产业化过程中的生产工艺、批量一致、质量稳定、安装维修和性能价格等一系列难题,做好了批量生产前的技术准备,现已小批量生产。

Marx built up Historical Materialism, which realized the transformations from scientific logic to historical logic, from material logic to human logic, and provided the interpreted principles for the view of subsistence and the view of historical orientation with Marx's new material philosophy.

马克思创立历史唯物主义,实现了从科学逻辑向历史逻辑的转变,从物的逻辑向人的逻辑的转变,为马克思的新唯物主义哲学提供了生存论的解释原则和历史性解释原则。

The course contains four sections as follows: mathematical logic (including basic concepts of propositional logic and predicate logic, propositional calculuses and inference theories), set theory (including set algebras, relations, functions and cardinal numbers), algebraic structure (including algebraic systems, semigroups and groups, rings and fields, lattices and Boolean algebras), graph theory (including basic concepts of graph, Euler graphs and Hamiltonian graphs, trees, planar graphs and coloring graphs, some special vertex subsets and edge subsets).

本课程包含四部分内容:数理逻辑(包含命题逻辑与一阶逻辑的基本概念、等值演算以及推理理论),集合论(包含集合代数、二元关系、函数和基数),代数结构(包含代数系统、半群与群、环与域、格与布尔代数),图论(包含图的基本概念、欧拉图与哈密顿图、树、平面图及图的着色、图的某些特殊的顶点子集与边子集)。

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.

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

Karl Marx's thought of alienation of labor is neither based methodologically on the logic of individual, nor based on the logic of original inter-subjective relations, but based on the logic of labor in motion.

由此,马克思劳动异化论的方法论基础不仅不是建立在单个人的基础之上,而且也不是建立在基始性的主体际性关系的基础上的,而是以动态性的劳动活动为核心内容的。

We call it many-valued logic in that this kind of logic studies logic theory that handles relations of propositions in which propositions have three truth values or more, even infinite, and do not limit in two truth values.

之所以称之为多值逻辑,关键原因在于其所研究的是具有三个或三个以上乃至无穷个真值的命题之间关系的逻辑理论,而不是仅仅限于真假二值。

第5/500页 首页 < 1 2 3 4 5 6 7 8 9 ... > 尾页
相关中文对照歌词
Saturday (Skit)
Relatives
Autologic
UK Jamaican
Give It To Me
Sell Out Records (Skit)
Just Another Day (In My Mind)
Highs & Lows
Drinkin' Songs And Other Logic
Growing Pains II
推荐网络例句

Green function defined inphase space differs from one in coordinate space by its struc-ture which exhibits nonlocatity in coordinates and oscillatorybehavior with respect to momenta.

在相空间中定义的Green函数不同于通常坐标空间的Green函数,在结构上显示出对坐标的高度非局域性,而对动量则显示出振荡行为。

The upper front part of a saddle;a saddlebow.

前鞍桥马鞍前面的上部分;前鞍桥

The fame thing I don't like.

我不喜欢出名。