go top

reductio

  • n. 归谬法,反证法(常以 reductio ad absurdum 的形式使用)

网络释义英英释义

  归谬法

归谬法

基于1个网页-相关网页

短语

reductio ad absurdum 反证法 ; [社科] 归谬法 ; 归谬证法

drag reductio 减阻

Reductio Ad Absurdum Proof 归谬证法

proof by reductio ad absurdum 归谬证法

Faye reductio 法雅归算

interest-rate reductio 利率下调

reductio o ad absurdum 反证法

reductio and absurdum proof 反证法

 更多收起网络短语

Reductio

  • abstract: Java Programming Language from an idea that originated in a research paper called QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs.QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Reductio and QuickCheck utilise a testing technique called Automated Specification-based Testing.

以上来源于: WordNet

双语例句权威例句

  • The ryan plan is a "reductio ad absurdum " a disproof by taking a proposition to a logical conclusion.

    瑞恩计划一个“归证法”——通过推导逻辑结论命题进行反证

    youdao

  • By reductio, there cannot possibly be a procedure that acts like the mythical P.

    通过反证法,不存在一个程序,能传说中的P一样运行。

    youdao

  • The negative example and reductio ad adsurdum Proof obtain an interesting application in statistical mathematic.

    反证法数学中常用的方法,统计数学中也有许多有趣的应用

    youdao

更多双语例句
更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定