-
21 contravariant
контравариантный contravariant local system ≈ контравариантная локальная система contravariant tensor space ≈ контравариантное тензорное пространство - contravariant affinor - contravariant algebra - contravariant argument - contravariant bundle - contravariant components - contravariant coordinates - contravariant degree - contravariant derivative - contravariant differentiation - contravariant differentiator - contravariant domain - contravariant element - contravariant extension - contravariant field - contravariant functor - contravariant ideal - contravariant index - contravariant of tensor - contravariant point - contravariant stack - contravariant tensor - contravariant variable - contravariant vector - contravariant vertor (математика) контравариантныйБольшой англо-русский и русско-английский словарь > contravariant
-
22 metamathematical
метаматематический - metamathematical argument - metamathematical consequence - metamathematical expression - metamathematical ideal - metamathematical notion - metamathematical operation - metamathematical polynomial - metamathematical predicate - metamathematical statement - metamathematical theor - metamathematical theorem - metamathematical variable МетаматематическоеБольшой англо-русский и русско-английский словарь > metamathematical
-
23 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
24 change
1) изменение || менять(ся); изменять(ся)2) смена; замена || заменять3) переход4) превращение5) модификация7) матем. приращение8) машиностр. коррекция параметров•change in argument — приращение аргумента;to change over from... to... — переходить с (одного режима работы)... на (другой)...change of coordinates — преобразование( системы) координатchange of gradient — ж.-д. перелом профиляchange of sign — перемена знакаchange or tide — смена течений; смена вод-
abrupt change
-
address change
-
adiabatic change
-
air change
-
air changes per hour
-
atmospheric changes
-
atmospheric plane change
-
autotool change
-
brittle-ductile change
-
chemical change
-
CO2 climate change
-
cold-to-hot reactivity change
-
constitutional change
-
course change
-
development change
-
dimension change
-
discontinuous change
-
electrochemical change
-
engineering change
-
en-route change of level
-
environmental change
-
gear change
-
habit change
-
hardwaring change
-
high-thrust plane change
-
incremental plane changes
-
intermachine changes
-
low-thrust plane change
-
man-made changes
-
minimum-fuel plane change
-
multidip plane change
-
nuclear change
-
orbital plane change
-
order-disorder change
-
parameter change
-
phase change
-
pitch change
-
radioactive change
-
real-time change
-
reversible change
-
roll change
-
scene change
-
scheduled speed change
-
shot change
-
single-dip plane change
-
spontaneous reactivity change
-
step change
-
step-function reactivity change
-
storage change
-
structural change
-
subatomic change
-
thermal change
-
transient phase change
-
wheelset change -
25 field
1) поле; (открытое) пространство; область; зона2) поле ( физической величины)4) нефт. промысел5) возбуждение; подмагничивание8) поле ( полевые условия)10) сфера, область (исследования, применения)12) вчт. поле; группа символов•-
ac field
-
accelerating field
-
acoustic field
-
action field
-
address field
-
alphanumeric field
-
alphameric field
-
alternate fields
-
alternating field
-
angular field
-
aperture field
-
applica field
-
argument field
-
austenite field
-
avalanche field
-
axial field
-
back surface field
-
backscattered field
-
bias field
-
biaxial stress field
-
boundary field
-
breakdown field
-
built-in field
-
centrifugal force field
-
character field
-
circuital field
-
circular field
-
cloud field
-
coal field
-
coercive field
-
color field
-
command field
-
commutating field
-
compensating field
-
conduction field
-
conductor-cooled field
-
confinement field
-
conservative field
-
containing field
-
control field
-
control-data field
-
convective field
-
Coulombian field
-
Coulomb field
-
counter field
-
counterrotating field
-
coupled fields
-
couple-stress field
-
crack tip stress field
-
critical field
-
crossed field
-
cross field
-
curling field
-
curl field
-
data field
-
dc field
-
decelerating field
-
deflecting field
-
degaussing field
-
deleted field
-
demagnetizing field
-
depolarization field
-
derived field
-
destination field
-
developed field
-
diffracted field
-
diffuse sound field
-
dipole field
-
discontinuous field
-
dislocation field
-
displacement field
-
display field
-
disturbed field
-
disturbing field
-
drive field
-
Earth's electric field
-
Earth's magnetic field
-
effective field
-
elastic field
-
elastic-plastic field
-
electric field
-
electromagnetic field
-
electromagnetic leakage field
-
electrostatic field
-
equilibrium displacement field
-
equilibrium stress field
-
even-numbered field
-
even field
-
exciting field
-
external field
-
extraneous field
-
far field
-
far-radiated field
-
far-scattered field
-
far-zone field
-
field of force
-
field of gravity
-
field of shot
-
field of view
-
field of vision
-
finish magnetic field
-
finish field
-
first field
-
fixed field
-
flag field
-
flow field
-
focusing field
-
force field
-
four-pole field
-
Fraunhofer field
-
free field
-
free-space field
-
Fresnel field
-
fringing field
-
full field
-
Galois field
-
gas field
-
gas-condensate field
-
gradient field
-
gravitational field
-
green field
-
ground instantaneous field of view
-
H field
-
heliostat field
-
high field
-
high-frequency alternating field
-
homogeneous field
-
homologous field
-
ice field
-
image field
-
impressed field
-
induction field
-
in-plane field
-
instruction field
-
interlaced field
-
internal field
-
irrotational field
-
isothetic field
-
jackfield
-
junction field
-
key field
-
label field
-
lamellar field
-
leakage field
-
lenslet field
-
linear field
-
longitudinal field
-
Lorentz's field
-
low field
-
machine perception field
-
magnetic bias field
-
magnetic field
-
magnetizing field
-
magnetostaticfield
-
magnetotelluric field
-
major field
-
marginal field
-
mean field
-
mine field
-
mirror field
-
moire field
-
multibeam field
-
multipay field
-
near field
-
near tip field
-
near-zone field
-
noncircuital field
-
nonhomogeneous field
-
nonstationary field
-
normal-mode field
-
number field
-
numeric field
-
odd-numbered field
-
odd field
-
offshore field
-
oil field
-
operand field
-
operation field
-
oxide-charge-induced field
-
perturbed field
-
picture field
-
piezoelectric field
-
plane strain field
-
polarization field
-
potential field
-
pressure field
-
producing field
-
pumping field
-
pump field
-
quadrupolar field
-
quenching field
-
radial field
-
radiated field
-
red field
-
refrigerating field
-
rejected field
-
remanent field
-
remote tensile field
-
reradiated field
-
residual field
-
residual stress field
-
retarding field
-
revolving field
-
rod scattered field
-
rotary field
-
saddle field
-
scalar field
-
scanning field
-
scattered field
-
segmented field
-
seismic field
-
self field
-
self-demagnetizing field
-
self-magnetic field
-
series field
-
shunt field
-
signed field
-
sleek field
-
slip-line field
-
slot field
-
slot leakage field
-
sound field
-
source field
-
space-charge field
-
starting field
-
stationary field
-
strain field
-
stray field
-
stress field
-
strong field
-
superimposed field
-
superposed field
-
suppressed field
-
sweeping field
-
synchronous field
-
tag field
-
television field
-
temperature field
-
tension field
-
thermal field
-
thermobaric field
-
threshold field
-
titles field
-
total field
-
transient field
-
transverse field
-
travelling field
-
tunneling field
-
undisturbed field
-
uniform field
-
unperturbed field
-
variable field
-
vector field
-
viewing field
-
vortex field
-
waste field
-
wastewater field
-
wave field
-
weak field
-
wind field -
26 complex
1) комплекс
2) комплексно
3) комплексно-
4) комплексно-сопряженный
5) комплексный
6) комплексный полный
7) сложный
8) графа
9) клеточное разбиение
10) комплект
11) многосложный
– activated complex
– cell complex
– chamber complex
– complex admittance
– complex conjugate
– complex declarator
– complex experiment
– complex fertilizer
– complex fraction
– complex impedance
– complex ion
– complex manifold
– complex matrix
– complex molecule
– complex number
– complex of segments
– complex plane
– complex quantity
– complex root
– complex sinusoidal
– complex spectrum
– complex target
– complex variable
– complex vein
– cone of a complex
– conjugate complex
– dissection of a complex
– fuel-energy complex
– inclusion complex
– infallibility complex
– linear complex
– metal-ion complex
– vietoris complex
complex plane analyzer — <tech.> анализатор векторный
complex sinusoidal quantity — комплексная синусоидальная величина
Kamsko-Achinsk Fuel-Energy Complex — <energ.> комплекс топливно-энергетический Камско-Ачинский
method of complex gradients — <math.> метод сопряженных градиентов
normalized standard complex — нормализованный стандартный комплекс
-
27 predicate
1) вчт предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- predicate with free variable
- algebraic predicate
- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicate -
28 predicate
1) вчт. предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- predicate of predicates
- predicate with free variable
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicateThe New English-Russian Dictionary of Radio-electronics > predicate
-
29 array
1) массивв программировании - переменная, состоящая из конечного набора однотипных последовательно проиндексированных элементов данных (array element), имеющих общее имя. Массив характеризуется типом элементов (data type), из которых он состоит, размерностью (dimension) и числом элементов. К каждому элементу возможен прямой доступ указанием его индексов. Изменение одного элемента массива не влияет на остальные элементы. Одномерный массив называется вектором (vector), а двумерный - матрицей. Существует два метода хранения массивов в памяти: с развёрткой по строкам (элементы массива запоминаются строка за строкой) и, соответственно, с развёрткой по столбцам. Обычно предполагается, что элементы массива хранятся в последовательном блоке памятисм. тж. adjustable array, argument array, array bound, array descriptor, array initialization, array name, array processor, array variable, associative array, byte array, dynamic array, flexible array, index range, matrix, mixed array, multidimensional array, nested array, one-dimensional array, packed array, pointer array, ragged array, sparse array, subarray, unpacked array2) совокупность, набор, массив (матрица) одинаковых элементовнапример, CCD array -матрица ПЗСгруппа устройств хранения данных, управляемая таким образом, чтобы повысить скорость пересылки данных и/или обеспечить более высокую надёжность хранения. Эта группа рассматривается ОС как единый томАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > array
-
30 metamathematical
-
31 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
32 proof
1. n доказательство; подтверждениеdocumentary proof, proof by documentary evidence — документальное доказательство
by way of proof he mentions … — в качестве доказательства он приводит …
foundational proof — основательные, серьёзные доказательства
2. n испытание, проверка, пробаproof stick — щуп, зонд
proof test — испытание; приёмочное или проверочное испытание
proof firing — опытная стрельба; пробный обстрел
3. n шотл. юр. судебное разбирательство без участия суда присяжных4. n полигр. корректура, пробный оттискproof in galley, galley proof — гранки, корректура в гранках
proof leaf — пробный оттиск, корректура
5. n полигр. пробный оттиск с гравюрыcurrent proof — пробный оттиск газеты, находящейся в печати
6. n полигр. необрезанные края более узких и коротких листов книги7. n полигр. фото пробный отпечатокhand proof — пробный оттиск, тиснутый на ручном станке
8. n полигр. крепость9. n полигр. пробирка10. n полигр. неуязвимость; непробиваемость11. n полигр. непроницаемость; герметичность12. a непроницаемый; непробиваемый13. a не поддающийся, недоступный14. a установленной крепости15. a испытанный; выдержавший испытание; проверенный16. a как компонент сложных словfire-proof — огнестойкий, огнеупорный
Синонимический ряд:1. impervious (adj.) firm; impenetrable; impervious; invulnerable; steadfast2. demonstration (noun) demonstration; display; illustration3. evidence (noun) affidavit; attestation; authentication; certification; confirmation; corroboration; credentials; documentation; evidence; substantiation; testament; testimonial; testimony; validation; verification; witness4. impression (noun) impression; pull; revise; slip5. reason (noun) argument; ground; reason; wherefore; why; whyfor6. trial (noun) assay; essay; examination; investigation; scrutiny; test; trialАнтонимический ряд:denial; disproof; failure; fallacy; invalidity; refutation -
33 stock
1. n главный ствол2. n неодушевлённый предмет3. n пренебр. глупый, бесчувственный человек; деревяшка, чурбан4. n опора, подпора5. n ложа6. n воен. ствол7. n мор. стапельto be on the stocks — стоять на стапеле, строиться
8. n станок для ковки лошадей9. n ист. колодки10. n тех. бабка11. n тех. коловорот12. n ступица13. n тело14. n колодка15. n черенок, рукоятка16. n мор. шток17. n мор. баллер18. a имеющийся в наличии или наготовеstock out — "нет в наличии"
19. a избитый, шаблонный, заезженный20. a биржевой21. a скотоводческий22. a племенной23. a готовый, патентованный24. a складскойstock turnover — оборот товарных запасов; складской оборот
25. v снабжать26. v иметь в наличии, в продажеout of stock — отсутствующий; не имеющий в наличии
27. v хранить на складе; иметь в запасеstock variable — переменная, характеризующая величину запаса
made for stock — изготовил на склад; изготовленный на склад
28. v создавать запас, запасать29. v корчевать; выкапывать30. v полоть, выдёргивать31. v вскапывать32. v амер. засевать33. v использовать под пастбище34. v выгонять на пастбище35. v давать новые побегиfilm stock — неиспользованная плёнка; новая катушка плёнки
36. v обыкн... задерживать, останавливать рост37. v собрать в колоду38. v нечестно тасовать39. v ист. сажать в колодки40. v с. -х. случать; осеменятьСинонимический ряд:1. common (adj.) average; common; commonplace; garden-variety; ordinary; plain; run-of-the-mill; unexceptional2. standard (adj.) customary; normal; regular; routine; standard; typical; usual3. array (noun) array; assortment; selection4. butt (noun) butt; haft; handle; shaft5. estimation (noun) appraisal; appraisement; assessment; estimate; estimation; evaluation; judgment6. family (noun) clan; family; folk; house; kin; kindred; race; tribe7. goods (noun) armamentarium; backlog; cache; fund; goods; hoard; inventory; merchandise; nest egg; produce; provision; reserve; reservoir; stockpile; store; supplies; supply; treasure; wares8. lineage (noun) ancestry; breed; descent; lineage; parentage; pedigree; species; strain; type9. livestock (noun) cattle; horses; livestock; sheep10. stalk (noun) plant; stalk; stem; trunk11. trust (noun) confidence; dependence; faith; hope; reliance; trust12. store (verb) carry; equip; fill; furnish; hoard; keep; provision; store; supply -
34 dummy
1. контрольный опыт2. резиновая пробка; холостой электродdummy instruction — холостая команда; фиктивная команда
3. фиктивныйdummy argument — фиктивный аргумент; фиктивный параметр
dummy activity — фиктивная операция; фиктивная работа
dummy address — фиктивный адрес; псевдоадрес
- 1
- 2
См. также в других словарях:
argument — [ argymɑ̃ ] n. m. • 1160; lat. argumentum → arguer 1 ♦ Raisonnement destiné à prouver ou à réfuter une proposition, et par ext. Preuve à l appui ou à l encontre d une proposition. ⇒ raisonnement; argumentation, démonstration; preuve, raison.… … Encyclopédie Universelle
Argument — Ar gu*ment, n. [F. argument, L. argumentum, fr. arguere to argue.] 1. Proof; evidence. [Obs.] [1913 Webster] There is.. no more palpable and convincing argument of the existence of a Deity. Ray. [1913 Webster] Why, then, is it made a badge of wit … The Collaborative International Dictionary of English
argument — [är′gyo͞o mənt, är′gyəmənt] n. [ME < OFr or L: OFr < L argumentum, evidence, proof < arguere: see ARGUE] 1. Archaic proof or evidence 2. a reason or reasons offered for or against something 3. the offering of such reasons; reasoning 4. a … English World dictionary
Variable (mathematics) — In mathematics, a variable is a value that may change within the scope of a given problem or set of operations. In contrast, a constant is a value that remains unchanged, though often unknown or undetermined.[1] The concepts of constants and… … Wikipedia
Argument — Grund; Beleg; Beweisgrund; Begründung; Prämisse; Beweis * * * Ar|gu|ment [argu mɛnt], das; [e]s, e: etwas, was zur Rechtfertigung, Begründung oder als Beweis vorgebracht wird: ein stichhaltiges, schlagendes Argument; dieses Argument überzeugt… … Universal-Lexikon
argument — /ahr gyeuh meuhnt/, n. 1. an oral disagreement; verbal opposition; contention; altercation: a violent argument. 2. a discussion involving differing points of view; debate: They were deeply involved in an argument about inflation. 3. a process of… … Universalium
Argument (disambiguation) — In general parlance, an argument is a discussion involving conflicting points of view. General types of argument * Argument, a demonstration of a proof, or using logical reasoning for persuasion * Argument form, the logical structure of an… … Wikipedia
Variable — A variable (pronEng|ˈvɛərɪəbl) is an attribute of a physical or an abstract system which may change its value while it is under observation. Examples include the height of a child, the temperature across a state, or the input to a function. This… … Wikipedia
Variable régionalisée — La VR comme phénomène physique : topographie de la ville de Binche … Wikipédia en Français
Argument form — In logic, the argument form or test form of an argument results from replacing the different words, or sentences, that make up the argument with letters, along the lines of algebra; the letters represent logical variables . The sentence forms… … Wikipedia
Argument (complex analysis) — Arg (mathematics) redirects here. For argument of a function, see Argument of a function. Figure 1. This Argand diagram represents the complex numbers lying on a plane. For each point on the plane, arg is the function which returns the angle φ.… … Wikipedia