命题
- 与 命题 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
Drawing on the resource-based view of firm,this paper suggests that an inverted-U shaped relationship exists between market orientation and radical innovations,and offers a theoretic model that focuses on the curvilinearity of the moderating effect of market orientation on the entrepreneurial orientation-radical innovations ...
基于资源与能力理论,在企业家导向对突变创新正向影响的基本命题基础上,分析了不同水平市场导向对企业突变创新的倒U形影响关系,以及市场导向对企业家导向和突变创新间正向关系的倒U形调节作用。
-
Moreover, the conjecture in the case of a block with cyclomatic number 2 is confirmed by constructing a Hamilton cycle .
本文给出了"简单图的邻接树图是哈密尔顿图"猜想的等价命题,阐明只需证明该猜想对 2 -连通图成立即可。
-
Two normal forms, best-simple normal form and literal normal form, are presented at first in order to eliminate the complexity of formulas decision. Based on the two normal forms, a deduction proof of decidability theorem in L and a decision algorithm P based on deduction for proportional formulas are given and a decision machine found on P, DMBD, is also designed.
首先提出了消解复杂性的两种范式:最简范式和文字范式,在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P,并基于ML语言设计了基于P的演绎判定机DMBD。
-
Based on the two normal forms, the decidability theorem in L is then proved and a deduction-based decision algorithm P is designed. The time complexity O(n3) of P is much less than the complexity O(2n) of the true value table method and the complexity O(n5) of HAL based on the tactic scheme.
首先定义了消解复杂性的两种范式:最简范式和文字范式,在此基础上采用演绎方法证明了L中的可判定性定理,并设计了命题公式的演绎判定算法P。P的时间复杂度为O(n^3),远远小于基于真值表法的O(2^n)和基于策略方案HAL的O(n^5)。
-
The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.
本文在前人研究工作的基础上,利用T代数的概念与方法,建立了真值取于格蕴涵代数的格值命题逻辑系统LP,对它的语义及语法性质进行了较系统的研究,得到了它的可靠性定理、协调性定理及演绎定理等,证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。
-
Logic an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another.
内部所有的命题都不具有可逆性一个逻辑系统所具有的属性。
-
Key words: mathematics proof; Euclideam deductive reasoning; inductive reasoning
归纳推理有利于发现新的命题,是培养创新型人才所必需的。
-
Prompt: What you do in the classroom defines only a part of who you are.
命题要求:你在课堂上的表现只是你的一部分。
-
In the paper the monetary policy ineffectiveness proposition can"t repudiate the effectiveness of the China"s monetary policy under deflation because of the imperfect markets and the information asymmetry.
本文认为,由于市场的非完全性、信息的不对称性,货币政策无效命题否定不了通货紧缩下我国货币政策的效力。
-
Entrepreneurship is a complex phenomenon that may include many subject and many aspects.We can study entrepreneurship based on management, economics, demotics , history and psychics,etc,and can contact lots of themes from innovation,change,opportunity to resources,enterpriser,cluster and flexibility,etc.
中文摘要:创业是跨越多个学科、具有多个维度的一种社会现象,可以分别从管理学、经济学、社会学、历史学、心理学等多个学科角度开展研究,可能涉及到创新、变革、机会、资源、企业家能力、集群、柔性、管理等多个命题。
- 推荐网络例句
-
I didn't watch TV last night, because it .
昨晚我没有看电视,因为电视机坏了。
-
Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.
今年以来,在北京的很多小区里,电梯液晶电视被撤了下来。
-
I'm running my simile to an extreme.
我比喻得过头了。