DECIDABILITY

Англо-русский перевод DECIDABILITY

разрешимость - complete decidability - decidability problem - degree of decidability - effective decidability - formal decidability - general decidability - linear decidability - partial decidability - probabilistic decidability

English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005

DECIDABILITY — noun see: decide
Толковый словарь английского языка - Merriam Webster
DECIDABILITY — see decide
Merriam-Webster's Collegiate English vocabulary
DECIDABILITY — < mathematics > A property of sets for which one can determine whether something is a member or not in …
FOLDOC Computer English Dictionary
DECIDABILITY — разрешимость Разрешимость decidability разрешимость
Большой Англо-Русский словарь
DECIDABILITY — Независимость системы аксиом
Американский Англо-Русский словарь
DECIDABILITY — разрешимость
Англо-Русский словарь Tiger
DECIDABILITY — разрешимость
Англо-Русский словарь по компьютерам
DECIDABILITY — разрешимость
Англо-Русский словарь по вычислительной технике и программированию
DECIDABILITY — разрешимость
Англо-Русский словарь компьютерных терминов
DECIDABILITY — разрешимость Разрешимость decidability разрешимость
Новый большой Англо-Русский словарь
DECIDABILITY — разрешимость
Англо-Русский словарь
PROBABILISTIC DECIDABILITY — мат. вероятностная разрешимость
Большой Англо-Русский словарь
PARTIAL DECIDABILITY — мат. частичная разрешимость
Большой Англо-Русский словарь
LINEAR DECIDABILITY — мат. линейная разрешимость
Большой Англо-Русский словарь
GENERAL DECIDABILITY — мат. общая разрешимость
Большой Англо-Русский словарь
FORMAL DECIDABILITY — мат. формальная разрешимость
Большой Англо-Русский словарь
EFFECTIVE DECIDABILITY — мат. эффективная разрешимость
Большой Англо-Русский словарь
DEGREE OF DECIDABILITY — мат. степень разрешимости
Большой Англо-Русский словарь
DECIDABILITY PROBLEM — проблема разрешимости
Большой Англо-Русский словарь
COMPLETE DECIDABILITY — мат. полная разрешимость
Большой Англо-Русский словарь
DECIDE — verb (~d; deciding) Etymology: Middle English, from Latin ~re, literally, to cut off, from de- + caedere to cut Date: …
Толковый словарь английского языка - Merriam Webster
DECIDABLE — — decidability , n. /di suy"deuh beuhl/ , adj. 1. capable of being decided. 2. Logic. (of an axiom, proposition, …
Random House Webster's Unabridged English Dictionary
METALOGIC — the study and analysis of the semantics (relations between expressions and meanings) and syntax (relations among expressions) of formal languages …
Britannica English vocabulary
ALGORITHM — systematic procedure that producesin a finite number of stepsthe answer to a question or the solution of a problem. The …
Britannica English vocabulary
MODAL LOGIC — An extension of propositional calculus with operators that express various "modes" of truth. Examples of modes are: necessarily A, possibly …
FOLDOC Computer English Dictionary
MATHEMATICS — infinity inner product algebra logic prime number theorem Rayleigh distribution set theory Mandelbrot set fractal logarithmus dualis characteristic function sine …
FOLDOC Computer English Dictionary
DECISION PROBLEM — < theory > A problem with a yes/no answer. Determining whether some potential solution to a question is actually a …
FOLDOC Computer English Dictionary
DECIDABLE — decidability
FOLDOC Computer English Dictionary
РАЗРЕШИМОСТЬ — v. solvability, decidability; проблема разрешимости, decision problem, decidability problem
Russian-English Dictionary of the Mathematical Sciences
НЕЗАВИСИМОСТЬ СИСТЕМЫ АКСИОМ — Decidability
Русско-Американский Английский словарь
PROBLEM — 1) задача 2) неисправность 3) проблема • algorithmically unsolvable problem — алгоритмически неразрешимая проблема attack problem by methods — разрабатывать проблему методами axially symmetric problem — …
Англо-Русский научно-технический словарь

Англо-Русский научно-технический словарь

← DECIBEL-LOG FREQUENCY RESPONSE DECIDABILITY PROBLEM→