SATISFIABILITY

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

логика выполнимость - joint satisfiability

English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012

SATISFIABILITY — лог. выполнимость joint satisfiability Выполнимость satisfiability вчт. выполнимость
Большой Англо-Русский словарь
SATISFIABILITY — выполнимость - formula satisfiability - joint satisfiability - satisfiability problem - unitary satisfiability
Англо-Русский научно-технический словарь
SATISFIABILITY — выполнимость
Англо-Русский словарь Tiger
SATISFIABILITY — 1) логика выполнимость 2) удовлетворительность; приемлемость • - joint satisfiability - stochastic satisfiability
Англо-Русский словарь по вычислительной технике и программированию
SATISFIABILITY — выполнимость - joint satisfiability
Англо-Русский словарь компьютерных терминов
SATISFIABILITY — лог. выполнимость joint satisfiability Выполнимость satisfiability вчт. выполнимость
Новый большой Англо-Русский словарь
SATISFIABILITY — выполнимость
Англо-Русский словарь
SATISFIABILITY PROBLEM — A problem used as an example in complexity theory . It can be stated thus: Given a Boolean expression E, …
FOLDOC Computer English Dictionary
UNITARY SATISFIABILITY — мат. унитарная выполнимость
Большой Англо-Русский словарь
SATISFIABILITY PROBLEM — проблема выполнимости (в булевой алгебре)
Большой Англо-Русский словарь
JOINT SATISFIABILITY — совместная выполнимость
Большой Англо-Русский словарь
FORMULA SATISFIABILITY — мат. выполнимость формулы
Большой Англо-Русский словарь
BOOLEAN SATISFIABILITY PROBLEM — Задача выполнимости булевых формул
Американский Англо-Русский словарь
UNITARY SATISFIABILITY — матем. унитарная выполнимость
Англо-Русский научно-технический словарь
SATISFIABILITY PROBLEM — матем. задача выполнимости
Англо-Русский научно-технический словарь
JOINT SATISFIABILITY — матем. совместная выполнимость
Англо-Русский научно-технический словарь
FORMULA SATISFIABILITY — матем. выполнимость формулы
Англо-Русский научно-технический словарь
SATISFIABILITY PROBLEM — проблема выполнимости (в булевой алгебре )
Англо-Русский словарь по компьютерам
JOINT SATISFIABILITY — совместная выполнимость
Англо-Русский словарь по компьютерам
SATISFY — ■ verb ( satisfies , ~ing , satisfied ) 1》 meet the expectations, needs, or desires of. ↘fulfil (a desire …
Concise Oxford English vocab
FORMAL SYSTEM — also called logistic system in logic and mathematics, abstract, theoretical organization of terms and implicit relationships that is used as …
Britannica English vocabulary
NP-COMPLETE PROBLEM — any of a class of computational problems for which no efficient solution algorithm has been found. Many significant computer-science problems …
Britannica English vocabulary
SATISFY — v. (-ies, -ied) 1 tr. a meet the expectations or desires of; comply with (a demand). b be accepted by …
Английский основной разговорный словарь
SATISFY — v. (-ies, -ied) 1 tr. a meet the expectations or desires of; comply with (a demand). b be accepted by …
Concise Oxford English Dictionary
SATISFY — v. (-ies, -ied) 1. tr. a meet the expectations or desires of; comply with (a demand). b be accepted by …
Oxford English vocab
NP-COMPLETE — < complexity > (NPC, Nondeterministic Polynomial time complete) A set or property of computational decision problem s which is a …
FOLDOC Computer English Dictionary
ВЫПОЛНИМОСТЬ — f. realizability, practicability, feasibility, satisfiability
Russian-English Dictionary of the Mathematical Sciences
ЗАДАЧА ВЫПОЛНИМОСТИ БУЛЕВЫХ ФОРМУЛ — Boolean satisfiability problem
Русско-Американский Английский словарь
UNITARY — 1) единичный 2) одинарный 3) унитальный 4) унитарный • almost unitary semigroup — почти унитарная полугруппа almost unitary subset — почти унитарное подмножество basis of unitary space …
Англо-Русский научно-технический словарь
PROBLEM — 1) задача 2) неисправность 3) проблема • algorithmically unsolvable problem — алгоритмически неразрешимая проблема attack problem by methods — разрабатывать проблему методами axially symmetric problem — …
Англо-Русский научно-технический словарь
ВЫПОЛНИМОСТЬ — лог. satisfiability satisfiability
Большой Русско-Английский словарь

Англо-Русский словарь по компьютерам

← SATELLITE PROCESSOR SATISFIABILITY PROBLEM→