网站首页  词典首页

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

 

单词 deduction
释义

Examplesofdeduction

deduction
Unlike traditional partialdeduction, which considers only atoms for partialdeduction, conjunctive partial deduction attempts to specialize entire conjunctions of atoms.
From theCambridge English Corpus
If the knowledge base represents statements in some firstorder logic, then dialogue theory for design is simply a theorem prover fordeductionin that logic.
From theCambridge English Corpus
In this naturaldeductionreading, is considered an elimination and thus written postfix.
From theCambridge English Corpus
Consequently, dialogue theory for design must be equipped with decision procedures based on rules that allow new assertions and invalidate old deductions.
From theCambridge English Corpus
For instance, while classical partialdeductionwith (almost) determinate unfolding performs badly on highly nondeterministic programs, this is no longer true for conjunctive partial deduction.
From theCambridge English Corpus
The proof makes use of some properties of deductions that allows us to construct new deductions from existing ones.
From theCambridge English Corpus
This is easily verified because the statement holds for the equations in the aforementioned table, and is preserved by the rules of equationaldeduction.
From theCambridge English Corpus
This survey and tutorial presents the main developments in controlling partialdeductionover the past 10 years and analyses their respective merits and shortcomings.
From theCambridge English Corpus
Indeductionmodulo, the notions of language, term and proposition are that of many-sorted first-order logic.
From theCambridge English Corpus
Obviously, not all graphs are deductions graphs: we have to impose some restrictions.
From theCambridge English Corpus
These deductions will greatly simplify the procedure of accuracy evaluation in terms of computational time.
From theCambridge English Corpus
Consumers are induced to always ask for these receipts, as they are necessary for tax deductions, and even to enter contests.
From theCambridge English Corpus
The principal kind of normalisation step on natural deductions is a reduction.
From theCambridge English Corpus
The naturaldeductionstyle follows the same "typical application" idea, but with variables as the placeholders.
From theCambridge English Corpus
These anomalies however, affect neither the deductions we make about usability, nor the fundamental properties of the algorithms found in the preceding section.
From theCambridge English Corpus
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
#https://dictionary.cambridge.org//dictionary/english/deduction##
随便看

 

英汉词典包含213609条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。

 

Copyright © 1999-2024 qbania.com All Rights Reserved
更新时间:2024/12/28 1:02:49