SKOLEM CONSTANT

Англо-русский перевод SKOLEM CONSTANT

сколемовская константа (ПРОЛОГ)

Масловский Е.К.. English-Russian dictionary of computer science. Англо-Русский словарь по вычислительной технике и программированию. 2005

SKOLEM CONSTANT — сколемовская константа (ПРОЛОГ)
Большой Англо-Русский словарь
SKOLEM CONSTANT — сколемовская константа (ПРОЛОГ )
Англо-Русский словарь по компьютерам
SKOLEM CONSTANT — сколемовская константа ( ПРОЛОГ )
Англо-Русский словарь компьютерных терминов
SKOLEM CONSTANT — сколемовская константа (Пролог)
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
SKOLEM CONSTANT — сколемовская константа (ПРОЛОГ)
Новый большой Англо-Русский словарь
CONSTANT — [c mediumvioletred] (as used in expressions) Boltzmann constant cosmological constant elastic constant {{link=Hubble's constant">Hubble's constant
Английский словарь Британика
CONSTANT — I. ˈkänztənt, -n(t)st- adjective Etymology: Middle English, from Middle French, from Latin constant-, constans, present participle of constare to stand …
Webster's New International English Dictionary
CONSTANT — — constantly , adv. /kon"steuhnt/ , adj. 1. not changing or varying; uniform; regular; invariable: All conditions during the three …
Random House Webster's Unabridged English Dictionary
CONSTANT — vt consistent; logical. 2. constant ·vt firm; solid; fixed; immovable; opposed to fluid. 3. constant ·noun that which is …
Webster English vocab
CONSTANT — / ˈkɒnstənt; NAmE ˈkɑːn-/ adjective , noun ■ adjective 1. [ usually before noun ] happening all the time or …
Oxford Advanced Learner's English Dictionary
CONSTANT — I. con ‧ stant 1 S3 W3 AC /ˈkɒnstənt $ ˈkɑːn-/ BrE AmE adjective [ Word Family: noun : ↑ …
Longman Dictionary of Contemporary English
CONSTANT — ( constants) Frequency: The word is one of the 1500 most common words in English. 1. You use constant to …
Collins COBUILD Advanced Learner's English Dictionary
CONSTANT — I. adjective COLLOCATIONS FROM OTHER ENTRIES a constant battle ▪ As a student, life was a constant battle against debt. …
Longman DOCE5 Extras English vocabulary
CONSTANT — [adjective] - staying the same; not getting less or moreWe've kept a fairly constant speed all journey.The fridge keeps food …
Cambridge English vocab
CONSTANT — n. Boltzmann constant Constant de Rebecque Henri Benjamin cosmological constant elastic constant Hubble's constant
Britannica Concise Encyclopedia
CONSTANT — n. 25B6; adjective the constant background noise : CONTINUAL, continuous, persistent, sustained, round-the-clock; ceaseless, unceasing, perpetual, incessant, never-ending, eternal, endless, …
Concise Oxford Thesaurus English vocabulary
CONSTANT — 1. сущ.; физ.; мат. постоянная, константа (в точных науках) Planck's constant ≈ физ. постоянная Планка, энергия кванта (отношение энергии кванта …
Большой Англо-Русский словарь
CONSTANT — constant.ogg 1. ʹkɒnstənt n мат. , физ. постоянная (величина), константа 2. ʹkɒnstənt a 1. 1> постоянный, непрерывный constant complaints anxiety …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
CONSTANT — 1) константа, постоянная (величина) 2) коэффициент 3) модуль 4) постоянный; неизменный • to calibrate a constant — точно определять значение …
Большой Англо-Русский политехнический словарь
CONSTANT — 1) константа, постоянная (величина) 2) коэффициент 3) модуль 4) постоянный; неизменный • to calibrate a constant — точно определять значение постоянной constant of motion — интеграл …
Большой Англо-Русский политехнический словарь - РУССО
CONSTANT — 1) постоянная (величина), константа || постоянный, константный 2) неизменный, стабильный • constant in magnitude — постоянный по величине, постоянный по модулю quantity constant in …
Англо-Русский научно-технический словарь
CONSTANT — 1. ʹkɒnstənt n мат. , физ. постоянная (величина), константа 2. ʹkɒnstənt a 1. 1> постоянный, непрерывный constant complaints anxiety - …
Большой новый Англо-Русский словарь
CONSTANT — постоянная величина, константа || постоянный; неизменный - acceleration constant - acceptability constant - address constant - amplification constant - attenuation …
Англо-Русский словарь по машиностроению и автоматизации производства 2
CONSTANT — постоянная величина, константа || постоянный; неизменный - acceleration constant - acceptability constant - address constant - amplification constant - attenuation constant - block constant - calibration constant - …
Англо-Русский словарь по машиностроению и автоматизации производства
CONSTANT — константа, постоянная (величина); константный, постоянный - activator constant - affinity constant - allometric constant - association constant - decay constant - diffusion constant - dissociation constant - equilibrium …
Новый Англо-Русский словарь по биологии
CONSTANT — константа, постоянная (величина); константный, постоянный - activator constant - affinity constant - allometric constant - association constant - decay constant …
Новый Англо-Русский биологический словарь
CONSTANT — 1) постоянная величина, константа; коэффициент 2) постоянный • - constant of capillarity - corrosion constant - elastic constant - gas constant - instrument constant - level constant - spring …
Англо-Русский словарь по строительству и новым строительным технологиям
CONSTANT — 1. константа, постоянная 2. коэффициент - corrosion constant - gas constant - gravitational constant - linear velocity constant - parabolic velocity constant - permeability constant - propagation …
Большой Англо-Русский словарь по нефти и газу
CONSTANT — прил. постоянный, неизменный - constant dollar value - constant dollar - constant dollars - constant prices - constant rate - dollar in constant dollars Syn: fixed, immutable, invariant, permanent
Англо-Русский словарь по экономике
CONSTANT — константа, постоянная величина; постоянный коэффициент || постоянный; неизменный - absolute constant - address constant - arbitrary constant - block constant - character constant - complex values …
Англо-Русский словарь по вычислительной технике и программированию
CONSTANT — постоянная (величина) , константа [c crimson]|| постоянный, неизменный - multiplicative constant - order-cycle constant - proportionality constant - safety-cost constant …
Англо-Русский словарь по экономике и финансам
CONSTANT — постоянная, константа; коэффициент - constant determined by test - constant of gravitation - arbitrary constant - C constant - convergence …
Англо-Русский строительный словарь
CONSTANT — константа; коэффициент; модуль - acoustical attenuation constant - asymmetric constant - attenuation constant - axial-propagation constant - capacitor constant - circuit time constant - coil constant - counter …
Англо-Русский словарь по телекоммуникациям
CONSTANT — постоянный ; неизменный ; фиксированный ; константа ; постоянная величина ; ~ constant capital ; ~ constant cost ; ~ …
Англо-Русский Деловой словарь
CONSTANT — 1) константа, постоянная величина в программировании - величина, значение которой остаётся неизменным во время выполнения программы ср. variable, см. тж. Boolean constant, …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
CONSTANT — 1. сущ.; физ.; мат. постоянная, константа (в точных науках) Planck's constant ≈ физ. постоянная Планка, энергия кванта (отношение энергии кванта …
Новый большой Англо-Русский словарь
SKOLEM'S PARADOX — Парадокс Сколема
Американский Англо-Русский словарь
LÖWENHEIM–SKOLEM THEOREM — Теорема Лёвенгейма — Сколема
Американский Англо-Русский словарь
SET THEORY — branch of mathematics that deals with the properties of well-defined collections of objects, which may be of a mathematical nature, …
Britannica English vocabulary
RECURSIVE FUNCTION — in logic and mathematics, a type of function or expression predicating some concept or property of one or more variables, …
Britannica English vocabulary
METALOGIC — the study and analysis of the semantics (relations between expressions and meanings) and syntax (relations among expressions) of formal languages …
Britannica English vocabulary
ТЕОРЕМА ЛЁВЕНГЕЙМА — СКОЛЕМА — Löwenheim–Skolem theorem
Русско-Американский Английский словарь
ПАРАДОКС СКОЛЕМА — Skolem's paradox
Русско-Американский Английский словарь
СКОЛЕМОВСКАЯ КОНСТАНТА — (Пролог) skolem constant
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
СКОЛЕМОВСКАЯ КОНСТАНТА — skolem constant
Большой Русско-Английский словарь

Англо-Русский словарь по вычислительной технике и программированию

← SKIPPING SKOLEMISING→