-
1 satisfiable formula
выполнимая формула (булева формула, принимающая значение 1 на некотором наборе 0-1-значений переменных)Англо-русский словарь промышленной и научной лексики > satisfiable formula
-
2 удовлетворимый
-
3 удовлетворимый
-
4 выполнимый
выполнимый
осуществимый
возможный
вероятный
—
[ http://slovarionline.ru/anglo_russkiy_slovar_neftegazovoy_promyishlennosti/]Тематики
Синонимы
EN
3.15 выполнимый (satisfiable): Набор предложений является выполнимым, если существует модель для предложений.
Источник: ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа
Русско-английский словарь нормативно-технической терминологии > выполнимый
-
5 выполнимая формула
satisfiable formula вчт.Русско-английский словарь по электронике > выполнимая формула
-
6 выполнимое предложение
Русско-английский словарь по электронике > выполнимое предложение
-
7 выполнимое утверждение
Русско-английский словарь по электронике > выполнимое утверждение
-
8 выполнимая формула
satisfiable formula вчт.Русско-английский словарь по радиоэлектронике > выполнимая формула
-
9 выполнимое предложение
Русско-английский словарь по радиоэлектронике > выполнимое предложение
-
10 выполнимое утверждение
Русско-английский словарь по радиоэлектронике > выполнимое утверждение
-
11 выполнимая формула
satisfiable formula мат.Русско-английский научно-технический словарь Масловского > выполнимая формула
-
12 выполнимое высказывание
satisfiable statement логикаРусско-английский научно-технический словарь Масловского > выполнимое высказывание
-
13 выполнимое предложение
satisfiable sentence логикаРусско-английский научно-технический словарь Масловского > выполнимое предложение
-
14 вторично выполнимая формула
secondarily satisfiable formula, secondarily satisfiable satisfiableРусско-английский научно-технический словарь Масловского > вторично выполнимая формула
-
15 совместно выполнимые формулы
jointly satisfiable formulas, jointly satisfiable satisfiablesРусско-английский научно-технический словарь Масловского > совместно выполнимые формулы
-
16 выполнимый
adj. feasible, practicable, realizable, satisfiableРусско-английский словарь математических терминов > выполнимый
-
17 выполнимый
1) feasible
2) practicable
3) realizable
4) satisfiable
5) workable -
18 вторично выполнимая формула
Mathematics: secondarily satisfiable formulaУниверсальный русско-английский словарь > вторично выполнимая формула
-
19 вторично выполнимый
Mathematics: secondary satisfiableУниверсальный русско-английский словарь > вторично выполнимый
-
20 выполнимая формула
Mathematics: satisfiable formulaУниверсальный русско-английский словарь > выполнимая формула
- 1
- 2
См. также в других словарях:
satisfiable — ● satisfiable adjectif (anglais satisfiable) Se dit d une fonction propositionnelle si elle est vraie sous certaines conditions … Encyclopédie Universelle
Satisfiable — Sat is*fi a*ble, a. That may be satisfied. [1913 Webster] … The Collaborative International Dictionary of English
satisfiable — sat·is·fi·a·ble (sătʹĭs fī ə bəl) adj. Capable of being satisfied: satisfiable needs and desires. * * * … Universalium
satisfiable — adjective Date: 1638 capable of being satisfied … New Collegiate Dictionary
satisfiable — adjective Capable of being satisfied … Wiktionary
satisfiable — adj. satiable, can be gratified; appeasable, can be placated … English contemporary dictionary
satisfiable — sat·is·fi·able … English syllables
satisfiable — adjective capable of being sated a satiable thirst a satiable appetite • Syn: ↑satiable • Similar to: ↑satiate, ↑satiated … Useful english dictionary
satisfy — satisfiable, adj. satisfier, n. satisfyingly, adv. satisfyingness, n. /sat is fuy /, v., satisfied, satisfying. v.t. 1. to fulfill the desires, expectations, needs, or demands of (a person, the mind, etc.); give full contentment to: The hearty… … Universalium
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia