-
41 finitely satisfiable
мат.English-Russian scientific dictionary > finitely satisfiable
-
42 jointly satisfiable
мат. -
43 jointly satisfiable formulas
English-Russian scientific dictionary > jointly satisfiable formulas
-
44 jointly satisfiable satisfiables
English-Russian scientific dictionary > jointly satisfiable satisfiables
-
45 secondarily satisfiable formula
English-Russian scientific dictionary > secondarily satisfiable formula
-
46 secondary satisfiable
мат.English-Russian scientific dictionary > secondary satisfiable
-
47 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
48 appeasable
a поддающийся уговорам, сговорчивый, покладистый, незлопамятныйСинонимический ряд:1. pacifiable (adj.) pacifiable2. satisfiable (adj.) satisfiable -
49 вторично выполнимый
Большой англо-русский и русско-английский словарь > вторично выполнимый
-
50 выполнимая формула
Большой англо-русский и русско-английский словарь > выполнимая формула
-
51 выполнимое высказывание
Большой англо-русский и русско-английский словарь > выполнимое высказывание
-
52 выполнимое предложение
Большой англо-русский и русско-английский словарь > выполнимое предложение
-
53 совместно выполнимый
Большой англо-русский и русско-английский словарь > совместно выполнимый
-
54 finitely
конечно-дифференцирующий almost finitely generated module ≈ почти конечно порожденный модуль almost finitely related module ≈ почти конечно связанный модуль finitely additive function ≈ конечно аддитивная функция finitely additive measure ≈ конечно аддитивная мера finitely approximable group ≈ конечно аппроксимируемая группа finitely approximable semigroup ≈ финитно аппроксимируемая полугруппа finitely approximated system ≈ конечно аппроксимированная система finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно аксиоматизируемая система finitely axiomatizable theor ≈ конечно аксиоматизируемая теория finitely axiomatizable variety ≈ конечно аксиоматизируемое многообразие finitely basable manifold ≈ конечно базируемое многообразие finitely bounded germ ≈ конечно ограниченный росток finitely cogenerated group ≈ конечно копорожденная группа finitely compact manifold ≈ конечно компактное многообразие finitely compact set ≈ конечно компактное множество finitely compact space ≈ конечно компактное пространство finitely connected domain ≈ конечносвязная область finitely connected module ≈ конечно связный модуль finitely connected subset ≈ конечно связное подмножество finitely convergent element ≈ конечно сходящийся элемент finitely convergent semigroup ≈ конечно сходящаяся полугруппа finitely definable quasivariety ≈ конечно определимое квазимногообразие finitely definable variety ≈ конечно определимое многообразие finitely defined algebra ≈ конечно определенная алгебра finitely defined group ≈ конечно определенная группа finitely definite set ≈ конечно определенное множество finitely differentiable equation ≈ конечно-дифференцируемое уравнение finitely generated algebra ≈ конечно порожденная алгебра finitely generated extension ≈ конечно порожденное расширение finitely generated field ≈ конечно порожденное поле finitely generated group ≈ матем. группа с конечным числом образующих finitely generated model ≈ конечно порожденная модель finitely generated monoid ≈ конечно порожденный моноид finitely generated presentation ≈ конечно порожденное представление finitely generated representation ≈ конечно порожденное пространство finitely generated ring ≈ конечно порожденное кольцо finitely generated semigroup ≈ конечно порожденная полугруппа finitely generated sheaf ≈ пучок с конечным числом образующих finitely generated structure ≈ конечно порожденная структура finitely generated subgroup ≈ конечно порожденная подгруппа finitely generated submodule ≈ конечно порожденный подмодуль finitely generated subobject ≈ конечно порожденный подобъект finitely generating ideal ≈ конечно порожденный идеал finitely mean valent function ≈ конечнолистная в среднем функция finitely measurable function ≈ конечно измеримая функция finitely measurable set ≈ конечно измеримое множество finitely presented group ≈ конечно представимая группа finitely presented module ≈ конечно представимый модуль finitely presented semigroup ≈ конечно определенная полугруппа finitely presented system ≈ конечно представленная система finitely productive space ≈ конечно продуктивное пространство finitely related group ≈ группа с конечным числом отношений finitely related presentation ≈ представление с конечным числом соотношений finitely related representation ≈ представление с конечным числом определяющих соотошений finitely sheeted domain ≈ конечнолистная область finitely sheeted space ≈ конечнолистное пространство finitely spanned module ≈ матем. модуль конечнопорожденный finitely triangulated manifold ≈ конечно триангулированное многообразие finitely triangulated space ≈ конечно триангулированное пространство finitely triangulated triad ≈ конечно триангулированная триада finitely valued function ≈ конечнозначная функция finitely valued random variable ≈ конечнозначная случайная величина purely finitely additive ≈ вполне конечно аддитивный - at most finitely many - finitely additive - finitely approximable - finitely axiomatized - finitely branched - finitely cogenerated - finitely compact - finitely connected - finitely covered - finitely definable - finitely defined - finitely dependent - finitely differentiable - finitely distributive - finitely generated - finitely invariant - finitely measurable - finitely open - finitely presented - finitely productive - finitely related - finitely satisfiable - finitely sheeted - finitely subadditive - finitely valued FinitelyБольшой англо-русский и русско-английский словарь > finitely
-
55 formula
а) формулировка- Bayes formula
- Bayesian formula
- Bethe-Salpeter formula
- Cauchy formula
- Cauchy dispersion formula
- Cayley formula
- dispersion formula
- Erlang formula
- Erlangian formula
- external reference formula
- invariant under stuttering formula
- Moivre formula
- molecular formula
- Nyquist formula
- Parseval's formula
- predicate formula
- Sabine formula
- satisfiable formula
- Shockley-Read formula
- Steinmetz formula
- Stirling's formula
- string formula
- structural formula
- syntactically monotone formula -
56 sentence
1) вчт предложениеа) высказывание; фраза; синтаксическая конструкция2) приговор•- analytically expressible sentence
- atomic sentence
- closed sentence
- composite sentence
- conditional sentence
- consistent sentence
- contradictory sentence
- declarative sentence
- equisignificant sentences
- equivalent sentences
- false sentence
- grammatical sentence
- Horn sentence
- inconsistent sentence
- inverse sentence
- mathematical sentence
- matrix sentence
- open sentence
- provable sentence
- quantifier-free sentence
- satisfiable sentence
- topic sentence
- true sentence
- unambiguous sentence
- Usenet death sentence -
57 statement
1) формулировка (напр. проблемы); постановка (напр. задачи)2) утверждение; высказывание3) оператор (предложение языка программирования, задающее функционально законченное действие); инструкция (в некоторых языках программирования, напр. в C++)4) заявление; сообщение•- action statement
- assert statement
- assignment statement
- atomic statement
- blank statement
- case statement
- categorical statement
- conditional statement
- comment statement
- compile-time statement
- compound statement
- conditional statement
- control statement
- data manipulation statement
- debug statement
- debugging statement
- declaration statement
- declarative statement
- delimiter statement
- dummy statement
- executable statement
- exception statement
- expect statement
- expression statement
- false statement
- fuzzy statement
- GOTO statement
- goto statement
- if statement
- imperative statement
- indexing statement
- invalid statement
- iterative statement
- job control statement
- labeled statement
- language statement
- logical statement
- looping statement
- mathematical statement
- negative statement
- nonexecutable statement
- null statement
- path statement
- positive statement
- problem statement
- program control statement
- protocol implementation conformance statement
- provable statement
- REM statement
- repeat-until statement
- repetitive statement
- satisfiable statement
- semantic statement
- send statement
- source statement
- specification statement
- transfer statement
- unconditional statement
- unlabeled statement
- unprovable statement
- while statement -
58 formula
а) формулировка•- Bayes formula
- Bayesian formula
- Bethe-Salpeter formula
- Cauchy dispersion formula
- Cauchy formula
- Cayley formula
- dispersion formula
- Erlang formula
- Erlangian formula
- external reference formula
- invariant under stuttering formula
- Moivre formula
- molecular formula
- Nyquist formula
- Parseval's formula
- predicate formula
- Sabine formula
- satisfiable formula
- Shockley-Read formula
- Steinmetz formula
- Stirling's formula
- string formula
- structural formula
- syntactically monotone formulaThe New English-Russian Dictionary of Radio-electronics > formula
-
59 sentence
1) вчт. предложениеа) высказывание; фраза; синтаксическая конструкция2) приговор•- analytically expressible sentence
- atomic sentence
- closed sentence
- composite sentence
- conditional sentence
- consistent sentence
- contradictory sentence
- declarative sentence
- equisignificant sentences
- equivalent sentences
- false sentence
- grammatical sentence
- Horn sentence
- inconsistent sentence
- inverse sentence
- mathematical sentence
- matrix sentence
- open sentence
- provable sentence
- quantifier-free sentence
- satisfiable sentence
- topic sentence
- true sentence
- unambiguous sentence
- Usenet death sentenceThe New English-Russian Dictionary of Radio-electronics > sentence
-
60 statement
1) формулировка (напр. проблемы); постановка (напр. задачи)2) утверждение; высказывание3) оператор (предложение языка программирования, задающее функционально законченное действие); инструкция (в некоторых языках программирования, напр. в C++)4) заявление; сообщение•- assert statement
- assignment statement
- atomic statement
- blank statement
- case statement
- categorical statement
- comment statement
- compile-time statement
- compound statement
- conditional statement
- control statement
- data manipulation statement
- debug statement
- debugging statement
- declaration statement
- declarative statement
- delimiter statement
- dummy statement
- exception statement
- executable statement
- expect statement
- expression statement
- false statement
- fuzzy statement
- GOTO statement
- goto statement
- if statement
- imperative statement
- indexing statement
- invalid statement
- iterative statement
- job control statement
- labeled statement
- language statement
- logical statement
- looping statement
- mathematical statement
- negative statement
- nonexecutable statement
- null statement
- path statement
- positive statement
- problem statement
- program control statement
- protocol implementation conformance statement
- provable statement
- REM statement
- repeat-until statement
- repetitive statement
- satisfiable statement
- semantic statement
- send statement
- source statement
- specification statement
- statement of problem
- transfer statement
- unconditional statement
- unlabeled statement
- unprovable statement
- while statementThe New English-Russian Dictionary of Radio-electronics > statement
См. также в других словарях:
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