归约定理
_
deduction theorem
deduction theorem
пословный:
归约 | 约定 | 定理 | |
1) обещание; обязательство; договорная обязанность (касающаяся будущих действий обязанного лица); обещать; обязывать
2) договоренность
3) обусловливание; условие; оговорка; обусловливать; ставить условием; оговаривать в качестве особого условия
|
1) незыблемая истина, непреложный закон, аксиома
2) мат. теорема
3) определённое правило
|