-
41 recursive and recursively enumerable sets
Программирование: рекурсивные и рекурсивно перечислимые множестваУниверсальный англо-русский словарь > recursive and recursively enumerable sets
-
42 completely recursively enumerable
English-Russian scientific dictionary > completely recursively enumerable
-
43 completely recursively enumerable class
English-Russian scientific dictionary > completely recursively enumerable class
-
44 recursively
1) рекурсно
2) рекурсивно
3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers ≈ общерекурсивно неравные числа general recursively irrational number ≈ общерекурсивно иррациональное число general recursively true ≈ общерекурсивно истинный general recursively true formula ≈ общерекурсивно истинная формула primitive recursively true ≈ примитивно-рекурсивно истинный recursively approximable set ≈ рекурсивно аппроксимируемое множество recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория recursively axiomatized theor ≈ рекурсивно аксиоматизированная теория recursively bounded quantifier ≈ рекурсивно ограниченный квантор recursively calculable function ≈ рекурсивно вычислимая функция recursively complex number ≈ рекурсивно комплексное число recursively continuous function ≈ рекурсивно непрерывная функция recursively convergent function ≈ рекурсивно сходящаяся функция recursively convergent sequence ≈ рекурсивно сходящаяся последовательность recursively creative set ≈ рекурсивно креативное множество recursively defined function ≈ рекуррентно определенная функция recursively defined sequence ≈ рекурсивно определенная последовательность recursively differentiable function ≈ рекурсивно дифференцируемая функция recursively divergent function ≈ рекурсивно расходящаяся функция recursively divergent sequence ≈ рекурсивно расходящаяся последовательность recursively enumerable cylinder ≈ рекурсивно перечислимый цилиндр recursively enumerable degree ≈ рекурсивно перечислимая степень recursively enumerable index ≈ рекурсивно перечислимый индекс recursively enumerable ordinal ≈ рекурсивно перечислимое порядковое число recursively enumerable predicate ≈ рекурсивно перечислимый предикат recursively enumerable problem ≈ рекурсивно перечислимая проблема recursively enumerable relation ≈ рекурсивно перечислимое отношение recursively enumerable sequence ≈ рекурсивно перечислимая последовательность recursively enumerable set ≈ рекурсивное перечислимое множество recursively enumerable structure ≈ рекурсивно перечислимая структура recursively enumerable subclass ≈ рекурсивно перечислимый подкласс recursively enumerable subset ≈ рекурсивно перечислимое подмножество recursively enumerable theor ≈ рекурсивно перечислимая теория recursively equivalent sets ≈ рекурсивно эквивалентные множества recursively extensible function ≈ рекурсивно продолжаемая функция recursively incompletable theor ≈ рекурсивно непополнимая теория recursively indecomposable set ≈ рекурсивно неразложимое множество recursively inseparable sets ≈ рекурсивно неотделимые множества recursively invariant concept ≈ рекурсивно инвариантное понятие recursively invariant relation ≈ рекурсивно инвариантное отношение recursively isomorphic set ≈ рекурсивно изоморфное множество recursively presentable structure ≈ рекурсивно представимая структура recursively presented group ≈ рекурсивно определенная группа recursively productive set ≈ рекурсивно продуктивное множество recursively real number ≈ рекурсивно вещественное число recursively related system of notation ≈ рекурсивная по упорядочению система обозначений recursively representable operation ≈ рекурсивно представимая операция recursively representable relation ≈ рекурсивно представимое отношение recursively separable sets ≈ рекурсивно отделимые множества recursively solvable problem ≈ рекурсивно разрешимая проблема recursively undecidable theor ≈ рекурсивно неразрешимая теория recursively unequal numbers ≈ рекурсивно неравные числа - recursively axiomatized - recursively calculable - recursively closed - recursively computable - recursively conditional - recursively continuous - recursively convergent - recursively differentiable - recursively divergent - recursively enumerable - recursively equivalent - recursively expressible - recursively extensible - recursively inseparable - recursively isomorphic - recursively isotonic - recursively presentable - recursively projective - recursively realizable - recursively representable - recursively soluble - recursively true - recursively unsolvable РекурсивноБольшой англо-русский и русско-английский словарь > recursively
-
45 enumerable
счётный; перечислимый -
46 enumerable
1) счетный
2) перечислимый
– enumerable set
– recursively enumerable
recursively enumerable set — рекурсивное перечислимое множество
-
47 recursively
1) рекурсно
2) рекурсивно
3) рекуррентно
– recursively enumerable
– recursively projective
recursively enumerable set — рекурсивное перечислимое множество
-
48 recursively
-
49 recursively
The English-Russian dictionary general scientific > recursively
-
50 sequence
1) очерёдность; порядок следования3) геол. стратиграфический разрез4) серия, комплекс•- absolutely divergent sequence - absolutely limited sequence - absolutely summable sequence - absolutely unbiased sequence - adjusted homology sequence - asymptotically convergent sequence - asymptotically isotropic sequence - asymptotically lattice sequence - compactly divergent sequence - completely reversible sequence - conditionally divergent sequence - decimal geometric sequence - delicately divergent sequence - discretely convergent sequence - essentially convergent sequence - essentially finite sequence - essentially periodic sequence - everywhere dense sequence - infinitely large sequence - infinitely proceeding sequence - infinitely small sequence - integral stationary sequence - inverse sequence - inverted sequence - linearly independent sequence - locally convergent sequence - metrically convergent sequence - metrically transitive sequence - monotonically decreasing sequence - monotonically increasing sequence - never increasing sequence - numerical sequence - projectively realizable sequence - properly divergent sequence - rapid acquisition sequence - rapidly decreasing sequence - rapidly increasing sequence - recursively defined sequence - recursively divergent sequence - recursively enumerable sequence - relatively compact sequence - sequence of prime numbers - sequence of principal indices - slowly decreasing sequence - slowly increasing sequence - slowly oscillating sequence - stochastically compact sequence - stochastically stable sequence - strictly increasing sequence - strictly measurable sequence - strictly monotonic sequence - strongly convergent sequence - strongly downward sequence - strongly stationary sequence - strongly summable sequence - totally increasing sequence - totally monotone sequence - two-taile sequence - two-way infinite sequence - unconditionally divergent sequence - uniformly divergent sequence - uniformly integrable sequence - weakly convergent sequence -
51 set
1) набор
2) выметывать
3) задать
4) затвердевать
5) комплект
6) оклад
7) откорректировать
8) сет
9) упирать
10) установивший
11) помещать
12) множество
13) установленный
14) агрегат
15) агрегация
16) ансамбль
17) класс
18) партия
19) полагать
20) поставленный
21) семейство
22) сочетание
23) включать
– absorption of a set
– antipodal set
– automatic set point
– ball set hammer
– bargaining set
– belong to set
– bevel set hammer
– cardinality of a set
– carried set
– carrier set
– cluster set
– coal-getting set
– combination set
– compensation set
– complement of set
– complete set
– constitute set
– convergence set
– countable set
– course set
– creative set
– cup-point set screw
– data set
– data set allocation
– degenerate set
– dendritic set
– denumerable set
– derived set
– diameter of set of points
– Diesel-electric set
– Diesel-generator set
– directed set
– element of set
– emergency set
– empty set
– enchained set
– enumerable set
– exciter set
– factor set
– fluctuation are set up
– fluctuations are set up
– flywheel set
– gear set
– generating set
– have set pattern
– heading set
– headless set screw
– house set
– if we set
– inclusion in a set
– incompletable set
– indexing set
– infinite set
– information set
– inhibit set of concrete
– instruction set
– interior of set
– inverse set
– limit set
– meager set
– measurable set
– mobile set
– motion-picture set lighting
– motor-generator set
– non-denumerable set
– non-enumerable set
– nowhere-dense set
– null set
– open set
– opening set
– operator's set
– ordered set
– oscillator is set up as
– point set
– power-generating set
– product set
– productive set
– promote set of concrete
– quotient set
– radio set
– range set
– reference set
– retard set of concrete
– ringing set
– round set hammer
– scattered set
– separating set
– set a map
– set a problem
– set a seine
– set a tire
– set analyzer
– set aside for
– set azimuth
– set conditions for
– set controller
– set cross-hairs
– set data into
– set data manually
– set forth
– set forth above
– set in
– set in agate
– set in motion
– set is closed
– set lighting
– set limit to
– set of Belleville springs
– set of current
– set of drawing instruments
– set of equations
– set of five
– set of gate patterns
– set of gauge blocks
– set of gears
– set of logical elements
– set of measure zero
– set of operations
– set of patterns
– set of problems
– set of symbols
– set of technical aids
– set of three
– set of warp
– set of weft
– set off
– set off charge in blast-hole
– set pace
– set pace of development
– set parking brake
– set pin
– set plumb
– set pole
– set rivet
– set saw
– set screw
– set slide to
– set solid
– set stud
– set telescope
– set terminal
– set the center-punch
– set the heading
– set the vale
– set theory
– set tire on wheel
– set to unity
– set to zero
– set up
– set up a channel
– set up a level
– set up as anode
– set up call
– set up correspondence
– set up datum line
– set up depreciation fund
– set up equation
– set up fixed frequency
– set up frequency
– set up machine
– set up network analyzer
– set up plane table
– set up ray
– set up unit
– set up vibrations
– set voltmeter to zero
– set watch backward
– set watch forward
– shaft-sinking set
– short-wave set
– Sierpinski set
– snap set
– socket-powered set
– spanning set
– spring set
– square set hammer
– station set
– subscriber set
– subscriber's set
– table set
– table-top set
– tame set
– telephone set
– terminal set
– test set
– thin set
– to set
– transitivity set
– turbine-driven set
– turbine-generator set
– uncountable set
– well-ordered set
accomplish operations on set — производить операция над множество
angular cluster set — <math.> множество угловых предельных значений, угловое граничное множество
boundary cluster set — <math.> множество граничных предельных значений
fundamental probability set — множество элементарных событий
key pulsing telephone set — телефонный аппарат с кнопочным номеронабирателем
multi-operator welding set — многопостовой сварочный аппарат
operator's telephone set jack — гнездо гарнитуры телефонистки
recursively enumerable set — рекурсивное перечислимое множество
reflection measuring set — < radio> измеритель неоднородности линии
semiconductor assembly set — набор полупроводниковых приборов
set antenna to bear on an object — наводить антенну на объект
set triangle against T-square — прикладывать угольник к рейсшине
set up connection between caller — осуществлять соединение абонентов
single-operator welding set — однопостовой сварочный аппарат
transmission measuring set — измеритель затухания тракта, <tech.> аттенюометр, пегельмессер, указатель уровня передачи, уровнемер
-
52 relation
1) зависимость, (взаимо)связь2) отношение; соотношение4) геол. условия залегания•- almost universal relation - cause-effect relation - generalized semigroup relation - logically irreducible relation - parametrically definable relation - partial ordering relation - recursively enumerable relation - recursively invariant relation - recursively representable relation - strongly definable relation - weakly symmetric relation -
53 set
1) множество; совокупность; семейство; ряд; последовательность2) набор; комплект3) установка5) устанавливать в определённое положение; устанавливать в определённое состояние6) монтировать; налаживать•- set constant- set origin
- set the problem
- add set
- affected set
- alphanumeric character set
- alphameric character set
- ambiguity set
- basis set
- board set
- bounded set
- cataloged data set
- change set
- character set
- chip set
- choice set
- closed set
- code set
- coded character set
- complete set
- concatenated data set
- confidence set
- connected set
- contact set
- countable set
- creative set
- cut set
- data set
- data-structure set
- delete set
- denumerable set
- derived set
- dividing set
- dynamic data set
- empty set
- enumerable set
- equations set
- failure set
- fault set
- feature set
- file set - fuzzy set
- general recursive set
- generation data set
- graphics set
- indexed sequential data set
- indexed set
- infinite set
- instruction set
- integrated tool set
- interface set
- interleaved carbon set
- keyboard send/receive set
- line data set
- microprocessor set
- model set
- N-character set
- N-char set
- nontemporary data set
- null set
- numeric character set
- open set
- order set
- ordered set
- overflow data set
- page data set
- partitioned data set
- photomask set
- power set
- receive/send keyboard set
- recursive set
- recursively enumerable set
- reduced instruction set
- reducible set - set of curves
- shared data set
- simply ordered set
- singular set
- soft instruction set
- software product set
- sorted set
- standard file defenition set
- success set
- telephone data set
- temporary data set
- test set
- training set
- universal set
- user's set
- working set
- zero setEnglish-Russian dictionary of computer science and programming > set
-
54 class
1) класс; разряд; категория || классифицировать2) качество; сорт3) класс, группа ( в учебном заведении)4) курс лекций, курс обучения• -
55 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
56 subset
1) телефон. абонентский аппарат2) подгруппа3) подкласс4) подмножество5) полукомплект•- almost open subset - almost unitary subset - bounded below subset - countably paracompact subset - everywhere dense subset - linearly independent subset - locally closed subset - locally polyhedral subset - locally tame subset - nonvoid subset - polynomially convex subset - potentially invertible subset - relatively compact subset - relatively pseudocompact subset - right perfect subset - right unitary subset - strongly dependent subset - strongly positive subset - totally ordered subset - uniformly integrable subset - universally measurable subset - weakly bounded subset - weakly closed subset - weakly invariant subset - weak-star closed subset - well ordered subset - well separated subset -
57 problem
1) задача; проблема3) трудность, затруднение•- boundary value problem - card matching problem - central limit problem - decision problem under risk - decision problem under uncertainty - extremum problem - fair division problem - gambling problem - gasoline blending problem - incompletely structured problem - optimal path problem - optimal stopping problem - portfolio selection problem - precisely specified problem - recursively solvable problem - sequential decision programming problem - sequential occupancy problem - shortest path problem - shortest route problem - standard control problem - three houses and three wells problem -
58 structure
1) конструкция; строение; структура || структурировать2) сооружение, здание; строительная конструкция3) состав4) текстура5) геол. формация•- finitely generated structure - fish protection structure - locally convex structure - recursively presentable structure - redundant logical structure - strictly finer structure - strongly undecidable structure - weakly saturated structure -
59 рекурсивно-перечислимое множество
Большой англо-русский и русско-английский словарь > рекурсивно-перечислимое множество
-
60 cylinder
См. также в других словарях:
Recursively enumerable set — In computability theory, traditionally called recursion theory, a set S of natural numbers is called recursively enumerable, computably enumerable, semidecidable, provable or Turing recognizable if: There is an algorithm such that the set of… … Wikipedia
Recursively enumerable language — In mathematics, logic and computer science, a recursively enumerable language is a type of formal language which is also called partially decidable or Turing acceptable. It is known as a type 0 language in the Chomsky hierarchy of formal… … Wikipedia
recursively enumerable — adjective Of a set, such that there exists a deterministic algorithm which will list all the items in the set and no others … Wiktionary
co-recursively enumerable — adjective Describing a set for which there exists a deterministic algorithm that will list all items not in that set. Any recursively enumerable set which is also co recursively enumerable is a decidable set … Wiktionary
Recursion theory — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… … Wikipedia
Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown … Wikipedia
Turing degree — Post s problem redirects here. For the other Post s problem , see Post s correspondence problem. In computer science and mathematical logic the Turing degree or degree of unsolvability of a set of natural numbers measures the level of algorithmic … Wikipedia
Creative and productive sets — In computability theory, productive sets and creative sets are types of sets of natural numbers that have important applications in mathematical logic. They are a standard topic in mathematical logic textbooks such as Soare (1987) and Rogers… … Wikipedia
Computability — You might be looking for Computable function, Computability theory, Computation, or Theory of computation. Computability is the ability to solve a problem in an effective manner. It is a key topic of the field of computability theory within… … Wikipedia
Alpha recursion theory — In recursion theory, the mathematical theory of computability, alpha recursion (often written α recursion) is a generalisation of recursion theory to subsets of admissible ordinals alpha. An admissible ordinal is closed under Sigma 1(L alpha)… … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium