-
1 satisfiable
-
2 satisfiable
-
3 satisfiable
Un panorama unique de l'anglais et du français > satisfiable
-
4 satisfiable
выполнимый jointly satisfiable formulas ≈ совместно выполнимые формулы secondarily satisfiable formula ≈ вторично выполнимая формула - finitely satisfiable - jointly satisfiable - satisfiable formula - satisfiable sentence - satisfiable statement - secondary satisfiable удовлетворимый (логика) выполнимыйБольшой англо-русский и русско-английский словарь > satisfiable
-
5 satisfiable
-
6 satisfiable
3.15 выполнимый (satisfiable): Набор предложений является выполнимым, если существует модель для предложений.
Источник: ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа
Англо-русский словарь нормативно-технической терминологии > satisfiable
-
7 satisfiable
[ʹsætısfaıəb(ə)l] a1) удовлетворимый2) лог. выполнимый -
8 satisfiable
f лог.удовлетворимый, выполнимый -
9 satisfiable
-
10 satisfiable
-
11 satisfiable
◙ adj. שניתן להשביע את רצונו, שניתן לספקו* * *◙ וקפסל ןתינש,ונוצר תא עיבשהל ןתינש◄ -
12 satisfiable
sat.is.fi.a.ble[s'ætisfaiəbəl] adj contentável. -
13 satisfiable
adjякий можна задовольнити* * *aякий можна задовольнити; лог. здійсненний -
14 satisfiable
aякий можна задовольнити; лог. здійсненний -
15 satisfiable
tatmin edilebilir -
16 satisfiable
[saetisfaiəbl]adjectiveki se more zadovoljiti; komur (čemur) se more ali mora ugoditi -
17 satisfiable
a. 만족(배상)할 수있는 -
18 satisfiable
сущ.лог. выполнимый, удовлетворимый -
19 satisfiable
დამაკმაყოფილებელი -
20 satisfiable
вчтвыполнимый, дающий возможность выполнения всех условий
См. также в других словарях:
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