deduction nghĩa là gì

deduction là gì,deduction nghĩa là gì,deduction dịch,deduction là gì,deduction nghĩa là gì,deduction dịch.

Ý nghĩa của deduction bằng tiếng Việt

0 the act of deducing -- diễn dịch
- He worked it out by a process of deduction.
1 something that has been deduced -- sự khấu trừ
- Is this deduction accurate?
2 something that has been deducted -- sự khấu trừ
- There were a lot of deductions from my salary this month.

Unlike traditional partial deduction, which considers only atoms for partial deduction, conjunctive partial deduction attempts to specialize entire conjunctions of atoms.
If the knowledge base represents statements in some firstorder logic, then dialogue theory for design is simply a theorem prover for deduction in that logic.
In this natural deduction reading, is considered an elimination and thus written postfix.
Consequently, dialogue theory for design must be equipped with decision procedures based on rules that allow new assertions and invalidate old deductions.
For instance, while classical partial deduction with (almost) determinate unfolding performs badly on highly nondeterministic programs, this is no longer true for conjunctive partial deduction.
The proof makes use of some properties of deductions that allows us to construct new deductions from existing ones.
This is easily verified because the statement holds for the equations in the aforementioned table, and is preserved by the rules of equational deduction.
This survey and tutorial presents the main developments in controlling partial deduction over the past 10 years and analyses their respective merits and shortcomings.