verb
беру (логикада/дәлелдеу теориясында)
In proof theory, a rule or step in a formal system that produces a conclusion from given premises. Also used in algorithmic logic to describe output generation.
Дәлелдеу теориясында берілген алғышарттардан қорытынды шығаратын ереже немесе қадам. Сонымен қатар алгоритмдік логикада шығыс тудыруды сипаттау үшін қолданылады.
sordсөздік / EN↔KZsordсөздік / EN↔KZsord