sin ejemplosSe encuentra en 2 diccionarios
El diccionario de psicología ruso-inglés- dicts.psychology_ru_en.description
- dicts.psychology_ru_en.description
правило вывода
лог. rule of inference
LingvoComputer (Ru-En)
правило вывода
rule of inference
Recibe acceso a todos los diccionarios temáticos gratuitos
Ejemplos de los textos
Это можно выразить тремя правилами вывода, называемыми структурными правилами.These facts can be expressed by three inferential rules, called structural rules.Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical LogicFoundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.Основания математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969
Каждый шаг вниз по дереву совершается по одному из 14 правил (ранее читавшихся снизу вверх), которые мы теперь рассматриваем как правила вывода с одной или двумя посылками.And each step downward is by one of 14 rules (previously read upward), which we can now regard as one- or two-premise rules of inference.Клини, С.К. / Математическая логикаKleene, Stephen Cole / Mathematical LogicMathematical LogicKleene, Stephen Cole© 1967 by Stephen Cole KleeneМатематическая логикаКлини, С.К.© Перевод на русский язык «Мир», 1973
Правило V-введения отличается от прочих правил вспомогательного вывода тем, что допущения в данном и результирующем выводах одни и те же.The subsidiary deduction rule of V-introduction is unlike our other subsidiary deduction rules in having the same assumption formulas in the given or subsidiary deduction and the resulting deduction.Клини, С.К. / Математическая логикаKleene, Stephen Cole / Mathematical LogicMathematical LogicKleene, Stephen Cole© 1967 by Stephen Cole KleeneМатематическая логикаКлини, С.К.© Перевод на русский язык «Мир», 1973
Мы покажем, что всегда, когда вывод по кванторному правилу непосредственно (если не считать выводов по структурным правилам) следует за выводом по алгебраическому правилу, эти два вывода можно переставить.We show that whenever a quantification inference is followed immediately (except for structural inferences) by an algebraic inference, we can interchange the two.Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical LogicFoundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.Основания математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969
Traducciones de usuarios
Aún no hay traducciones del este texto.
¡Sé primero de traducirlo!
Expresiones
леворекурсивное правило вывода
left recursive production
праворекурсивное правило вывода
right recursive production