构造性的英文

• constructivity
  ◇构造性分析 constructive analysis; 构造性公理 constructivity axiom

• "构造"英文翻译    structure; construction; con ...
• "性"英文翻译    nature; character; dispositi ...
• "构造性布局" 英文翻译 :    constructive placement
• "构造性分离" 英文翻译 :    tectonic unmixing
• "构造性分析" 英文翻译 :    constructive analysis
• "构造性公理" 英文翻译 :    constructivity axiom
• "构造性逻辑" 英文翻译 :    constructive logic; intuitionistic logic
• "构造性能" 英文翻译 :    structural behavior
• "构造性数学" 英文翻译 :    constructive mathematics
• "构造性证明" 英文翻译 :    constructive proof
• "可构造性" 英文翻译 :    constructibility constructivity
• "非构造性证明" 英文翻译 :    nonconstructive proof
• "构造性布局算法" 英文翻译 :    constructive placement algorithm
• "火山构造性沉陷地" 英文翻译 :    volcano-tectonic depression
• "火山构造性陷落地" 英文翻译 :    volcano-tectonic depression
• "非构造性炭水化合物" 英文翻译 :    nonstructural carbohydrate
• "构造性海面升降运动" 英文翻译 :    diastrophic eustatism
• "构造性的形而上学, 结构主义的形而上学" 英文翻译 :    constructive metaphysics
• "创造性" 英文翻译 :    creativeness; creativity◇创造性活动 creative activity; 创造性思维 creative thinking; productive thinking; 创造性想象 creative imagination
• "锻造性" 英文翻译 :    forgeability
• "建造性" 英文翻译 :    constructiveness
• "塑造性" 英文翻译 :    formability
• "再造性" 英文翻译 :    re-creatability
• "铸造性" 英文翻译 :    castability; coulability
• "创造性，可创造性" 英文翻译 :    creative

• It is usually nonconstructive, inelegant, hard to generalize .
  它通常是非构造性的，不优美的，难于一般化的。
• Does the constructive logic negate the law of cxcluded middle
  构造性逻辑否定排中律吗
• Another proof of the converse lyapunov stability theorem
  有理标准形存在性定理的构造性证明
• A constructive proof of existence theorem for rational form
  利用罗尔定理进行构造性证明的尝试
• The equivalent theorem of contraction operator and its constructing proof
  压缩映射原理的等价命题及其构造性证明
• How to find out the constructivity methed for proving a competition problem
  一个构造性证明的解法是这样想出来的
• Volcano - tectonic depression
  火山构造性陷落地
• 1823 , cauchy defined integral the " limit of sum " , he then gave the structural definition of definite integral for continuous functions
  把定积分定义为“和的极限’始于cauchy1823年的工作，他对连续函数给出了定积分的构造性定义。
• And a dynamic searching system of geometric theorem has been implemented , which can solve elementary geometric problems efficiently , including some non - constructive problems
  该系统不但可以证明构造性的初等平面几何命题，而且也实现了对非构造性几何命题的定理搜索。
• For the exact feedback linearization of general nonlinear singular systems , by taking the algebraic variables as virtual inputs , a recursion inverse algorithm is introduced in this paper
  摘要对一般广义非线性系统的反馈线性化问题，通过将代数变量视为虚拟输入，给出了构造性递归求逆算法，实现了系统的精确反馈线性化。