Russian | English |
адаптивный вывод | adaptive inference |
аксиоматический вывод | axiomatic development |
аналитический вывод | analytical derivation |
априорный вывод | a priori conclusion |
априорный вывод | a priori deduction |
асимптотический вывод | asymptotic inference (в математической статистике AlexeyKotko) |
атомический вывод | atomic inference |
байесовский вывод | Bayesian inference |
бескванторный вывод | quantifier-free inference |
блок ввода-вывода | input-output bloc |
блок вывода данных | inputter |
вносящий вывод | contributory deduction |
вспомогательный вывод | subsidiary deduction |
вывод Бейеса | Bayesian inference |
вывод Бейеса на основе выборки Гиббса | BUGS |
вывод Бейеса на основе выборки Гиббса | Bayesian inference using Gibbs sampling |
вывод закона | law making |
вывод математического выражения | mathematical derivation |
вывод на основании правдоподобия | plausibility inference |
вывод основных уравнений | derivation of basic equations |
вывод по аналогии | deduction by analogy |
вывод регулярного выражения | derivation of regular expression (ssn) |
вывод регулярного выражения из таблицы состояний | derivation of regular expression from state table (ssn) |
вывод с задержкой | pending output |
вывод таблицы состояний | state table derivation (ssn) |
вывод таблицы состояний из регулярного выражения | state table derivation from regular expression (ssn) |
вывод тождеств | deriving the identities (ssn) |
вывод фигуры | development (в шахматах) |
вывод формулы | formula construction |
вывод формулы | formula derivation |
вывод формулы | development of formula |
выводом из этого анализа, следовательно, является то, что | the outcome of the present analysis is therefore that |
граф вывода | implication graph |
дадим вывод | we shall establish |
дадим вывод | we shall prove |
дедуктивный вывод | deductive treatment |
дедуктивный вывод | deductive derivation |
делается логический вывод | logical deductions are drawn that |
делать вывод | deduce inference |
делать вывод | arrive at a conclusion |
делать вывод | draw a deduction |
делать вывод | draw conclusion |
делать вывод | come to a conclusion |
делать вывод | come to the conclusion |
делать вывод | arrive at conclusion |
делать вывод по аналогии | reason by analogy |
делать поспешный вывод | rush to conclusion |
делать поспешный вывод | jump at conclusion |
делающий вывод | drawing the conclusion |
делающий поспешный вывод | jumping at a conclusion |
дерево вывода | generation tree |
дерево вывода | deduction tree |
для вывода уравнения пластины рассмотрим | for the derivation of the plate equation we consider |
доказательство по выводу | deductive proof |
единичный вывод | unit deduction |
естественный вывод | natural inference |
естественный вывод | natural deduction |
задача статистического вывода при наличии нескольких альтернативных гипотез | multidecision problem |
замкнутый вывод | closed deduction |
из данных эксперимента был сделан вывод | from these experiments it was concluded that |
излагать вывод | the main conclusion can be stated in a simple form |
индуктивный логический вывод | logical induction (ssn) |
интуиционистский вывод | intuitionistic proof |
истинный вывод | valid inference |
кабель связи устройств ввода-вывода с процессором | input/output cable |
ко времени вывода | at output time |
логический вывод | logical judgment |
логический вывод | logical induction |
логический вывод | logical derivation |
логический вывод типа Мамдани | mamdani-type inference |
логических выводов в секунду | logical inferences per second |
логических выводов в секунду | lips |
ложный вывод | false inference |
ложный вывод Монте-Карло | Monte Carlo fallacy (MichaelBurov) |
ложный вывод Монте-Карло | finite supply fallacy (MichaelBurov) |
ложный вывод Монте-Карло | fallacy of the maturity of chances (MichaelBurov) |
ложный вывод Монте-Карло | gambler's fallacy (MichaelBurov) |
лок-вывод | lock deduction |
математический вывод | mathematical development |
математический вывод | mathematical derivation |
метод индуктивного вывода | method of inductive inference |
метод статистического вывода | method of statistical inference |
модальный вывод | modal inference |
можно сделать вывод, что | it may be deduced that |
можно сделать вывод, что | it may be concluded that |
мы пришли к выводу о том, что | it was concluded that |
мы пришли к выводу о том, что | it was concluded that |
не позволять сделать вывод | be inconclusive |
недедуктивный вывод | nondeductive inference |
недостоверный вывод | uncertain inference |
неизбежно напрашивается вывод о том, что | there seemed no escaping the conclusion that |
нейро-нечёткий логический вывод | neuro-fuzzy inference |
нельзя не прийти к выводу о том, что | one cannot but infer that |
нельзя не прийти к выводу о том, что | there is no escape from the conclusion that |
необоснованный вывод | unfounded inference |
необоснованный вывод | invalid conclusion |
непараметрический вывод | nonparametric inference |
непараметрический статистический вывод | nonparametric statistical inference (ssn) |
непосредственный вывод | immediate conclusion |
непосредственный вывод | straightforward deduction |
непосредственный вывод | direct inference |
неправильный вывод | fallacy (ошибочный, ложный) |
обоснованный вывод | valid conclusion |
общий вывод | overall conclusion |
ограниченный вывод | bounded derivation |
окончательный вывод | final conclusion |
операция ввода-вывода | peripheral operation |
опосредствованный вывод | mediated inference |
отсюда делается вывод, что | the result is that |
параметрический вывод | parametric inference |
поддающийся выводу | derivable (математическому) |
подстановка этого результата в 5.25 завершает вывод теорем 2 | substitution of this result into 5.25 completes the derivation of Theorem 2 |
получение вывода | elicitation |
последовательности промежуточных выводов | sequences of intermediate deductions (ssn) |
последовательность промежуточных выводов | sequence of intermediate deductions (ssn) |
правила вывода | rewrite rules |
правила вывода | rules of inference (м. лог.) |
правило вывода | rule of derivation |
правило вывода | rules of inference |
правило вывода | rewrite rule (ssn) |
правило вывода | deduction rule |
предварительный вывод | tentative conclusion |
предварительный вывод | preliminary conclusion |
предикатный вывод | predicate inference |
преобразованный вывод | transformed inference |
при выводе | in deriving equation 1 we have used the fact that |
при выводе данного уравнения | in deriving the above equation we have used the important fact that |
при выводе этого выражения | in deriving the expression |
приближённый вывод | approximate inference (ptraci) |
приводить к выводу | suggest that |
приводить к выводу | lead to the conclusion that |
приводиться без вывода и доказательства | be presented without derivation or proof |
примитивно рекурсивный вывод | primitive recursive derivation |
примитивный вывод | primitive inference |
приходить к выводу | conclude (that) |
приходить к выводу | come to the conclusion |
приходить к выводу | draw a conclusion |
приходить к выводу | reach conclusion |
приходить к выводу | be led to |
приходить к выводу | get the conclusion that |
приходить к выводу | come to a conclusion |
приходить к выводу | arrive at conclusion |
приходить к противоположному выводу | reach the opposite conclusion |
причинный вывод | causal inference (livejournal.com owant) |
проблема вывода | inference problem (логического) |
прогнозируемый вывод | predictive inference |
промежуточный вывод | intermediate deduction (ssn) |
пропозициональный вывод | propositional inference |
пропозиционный вывод | propositional inference |
процедура вывода | conclusion procedure |
процесс ввода / вывода | input/output process |
прямой вывод | direct deduction |
регулярный вывод | regular derivation |
регулярный вывод | regular inference |
регулярный вывод | regular deduction |
редуцируемый вывод | reducible inference |
результирующий вывод | resulting deduction |
с балочными выводами | beam lead |
с ограничениями ввода / вывода | i/o bound |
сделать вывод | make a conclusion (that) |
силлогистический вывод | syllogistic inference |
системный вывод на экран | forced display |
спецификации ввода-вывода | input output specification |
статистика вывода | inferential statistics |
статистика выводов | inferential statistics |
статистический вывод | statistical deduction |
статистический вывод | statistic al inference |
статистический вывод | statistical conclusion |
строгий вывод | strong conclusion |
строгий вывод | exact inference (ptraci) |
строгий вывод | rigorous deduction |
структурный вывод | structural inference |
субъективный вывод Бейеса | subjective Bayesian inference |
схема вывода | derivation scheme |
теоретический вывод | theoretical inference |
теоретический вывод | theoretical conclusion |
теория статистического вывода | theory of statistical inference |
точный вывод | exact inference (ptraci) |
точный вывод | accurate derivation |
точный вывод | accurate development |
универсальный вывод | universal inference |
устойчивость вывода | inference robustness |
устойчивый вывод | robust inference |
устройство вывода | output station |
фигура вывода | figure of inference |
фидуциальный вывод | fiducial inference |
фидуциальный вывод | fiducial argument |
формальный вывод | formal derivation |
формальный вывод | formal deduction |
формальный вывод | formal inference |
эвристический вывод | heuristic derivation |
эвристический вывод | heuristic conclusion |
экзистенциальный вывод | existential inference |
электронная схема с выводом | pin electronics |
эмпирический вывод | empirical conclusion |
эргодический вывод | ergodic consequence |