-
1 satisfiability
Англо-русский словарь промышленной и научной лексики > satisfiability
-
2 приемлемость
Русско-английский словарь по вычислительной технике и программированию > приемлемость
-
3 удовлетворительность
Русско-английский словарь по вычислительной технике и программированию > удовлетворительность
-
4 выполнимость
выполнимость
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > выполнимость
-
5 выполнимость требований
выполнимость требований
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > выполнимость требований
-
6 проблема выполнимости
проблема выполнимости
Термин булевой алгебры, определяет, какое значение 1 или 0 надо добавить к выражению, чтобы выражение равнялось 1. Это - труднорешаемая задача.
[ http://www.morepc.ru/dict/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > проблема выполнимости
-
7 проблема выполнимости
Русско-английский научно-технический словарь Масловского > проблема выполнимости
-
8 проблема выполнимости
Information technology: satisfiability problem, satisfiability problem (в булевой алгебре)Универсальный русско-английский словарь > проблема выполнимости
-
9 выполнимость
f. realizability, practicability, feasibility, satisfiabilityРусско-английский словарь математических терминов > выполнимость
-
10 выполнимость
1) feasibility
2) practicability
3) realizability
4) satisfiability -
11 возможность удовлетворить
Makarov: satisfiability (напр. условиям)Универсальный русско-английский словарь > возможность удовлетворить
-
12 выполнимость
1) General subject: accomplishability, manageability, satisfiability, feasibility2) Accounting: realizability3) Patents: practicability -
13 выполнимость формулы
Mathematics: formula satisfiabilityУниверсальный русско-английский словарь > выполнимость формулы
-
14 задача выполнимости
Mathematics: satisfiability problemУниверсальный русско-английский словарь > задача выполнимости
-
15 ограниченная проблема выполнимости
Programming: restricted satisfiability problemУниверсальный русско-английский словарь > ограниченная проблема выполнимости
-
16 применимость
1) General subject: adaptability, applicability, application, transferability, validity, workability, relevance3) Engineering: tool adaptability4) Mathematics: satisfiability5) Law: applicability (правовой нормы, закона), applicability (закона, правовой нормы), pertinence6) Economy: eligibility7) Diplomatic term: applicability (статьи устава, правил процедуры и т.п.)8) Metallurgy: value of service9) Patents: generality, practicability, usefulness10) Automation: availability, (техническая) feasibility -
17 совместная выполнимость
Mathematics: joint satisfiabilityУниверсальный русско-английский словарь > совместная выполнимость
-
18 унитарная выполнимость
Mathematics: unitary satisfiabilityУниверсальный русско-английский словарь > унитарная выполнимость
-
19 выполнимость
выполни́мость ж. мат.
satisfiability -
20 выполнимость
performability, satisfiability лог.Русско-английский словарь по вычислительной технике и программированию > выполнимость
- 1
- 2
См. также в других словарях:
Satisfiability — Das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von engl. satisfiability) ist ein Entscheidungsproblem. Es fragt, ob eine aussagenlogische Formel erfüllbar ist. Anwendungen finden sich unter anderem in der Komplexitätstheorie, Verifikation und… … Deutsch Wikipedia
Satisfiability Modulo Theories — (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical first order logic with equality. Examples of theories typically used in computer science are the theory of real… … Wikipedia
Satisfiability Modulo Theories — В программировании, Satisfiability Modulo Theories (SMT) это задача разрешимости для логических формул с учётом лежащих в их основе теорий. Примерами таких теорий для SMT формул являются: теории целых и вещественных чисел, теории списков,… … Википедия
Satisfiability Modulo Theories (SMT) — Problème SMT (Satisfiability Modulo Theories) est un problème de la décision pour les formules logiques dans le respect d une théorie exprimée dans la logique du premier ordre contenant l égalité. Des exemples de théories sont la théorie des… … Wikipédia en Français
satisfiability — noun Able to be satisfied … Wiktionary
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
2-satisfiability — In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… … Wikipedia
Maximum satisfiability problem — In computational complexity theory, the Maximum Satisfiability problem (MAX SAT) is the problem of determining the maximum number of clauses, of a given Boolean formula, that can be satisfied by some assignment. It is an FNP generalization of SAT … Wikipedia
Horn-satisfiability — In formal logic, Horn satisfiability, or HORNSAT, is the problem of deciding whether a given set of propositional Horn clauses is satisfiable.A Horn clause is a clause with at most one positive literal, called the head of the clause, and any… … Wikipedia
Local consistency — In constraint satisfaction, local consistency conditions are properties of constraint satisfaction problems related to the consistency of subsets of variables or constraints. Several such conditions exist, the most known being node consistency,… … Wikipedia
Median graph — The median of three vertices in a median graph In mathematics, and more specifically graph theory, a median graph is an undirected graph in which any three vertices a, b, and c have a unique median: a vertex m(a,b,c) that belongs to shortest… … Wikipedia