请输入您要查询的英文单词:

 

单词 formal deduction
释义
formal deduction
  • 简明释义
  • 形式推导
  • 网络释义
  • 1

    ?形式演绎期

    第三层次 -- 形式演绎期(Formal Deduction):在这个阶段的学童能利用演绎逻辑证明定理, 并且建立相关定理间的网路结构。此时,学童可以在一个公设系统中建立几何理论。

  • 2

    [数]?形式推导

    ... 形式体系化 formalization 形式推导 formal deduction 形式推理 formal reasoning ...

  • 3

    ?形式演绎

    (4)层次三:形式演绎formal deduction),可以 了解证明的重要性,能严密地证明定理并建 立定理间的关系网路。

短语
  • 双语例句
  • 1
    General deduction and strong completeness of the formal deductive system l? Are further studied.
    进一步讨论了形式系统L ?中的一般演绎推理及强完备性问题。
  • 2
    Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
    在形式化方法下,经典逻辑通过严格概念推演表达正确推理形式的直观概念。
  • 3
    This paper holds that the scientific mode of legal deduction should be the organic unification of formal reasoning and substantial reasoning.
    法律推理的科学模式应是形式论证与实质论证的有机统一。
随便看

 

英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/1/25 22:14:14