- связанная переменная
-
apparent variable, bound variable
Англо-русский словарь технических терминов. 2005.
связанная переменная
Смотреть что такое "связанная переменная" в других словарях:
СВЯЗАННАЯ ПЕРЕМЕННАЯ — связанное вхождение переменной, тип вхождения переменной в языковое выражение. Точное определение для каждого формализованного языка свое и зависит от правил образования этого языка. Вместо С. н. нельзя подставлять объекты. Такая подстановка… … Математическая энциклопедия
СВОБОДНАЯ ПЕРЕМЕННАЯ — свободное вхождение переменной, вхождение переменной в языковое выражение, являющееся параметром этого выражения. Строгое определение этого понятия может быть дано только для формализованного языка. Для каждого языка дается свое определение С. п … Математическая энциклопедия
аналоговая переменная — Непрерывная физическая величина, заменяющая искомую или заданную в решаемой задаче, связанная с ней масштабным соотношением. [ГОСТ 18421 93] Тематики аналоговая и аналого цифровая выч.техн. EN analog variable FR variable analogique … Справочник технического переводчика
аналоговая переменная — 3 аналоговая переменная Непрерывная физическая величина, заменяющая искомую или заданную в решаемой задаче, связанная с ней масштабным соотношением Источник: ГОСТ 18421 93: Аналоговая и аналого цифровая вычислительная техника. Термины и… … Словарь-справочник терминов нормативно-технической документации
Замыкание (программирование) — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. У этого термина … Википедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Квантор — Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката и создающих выcказывание. Чаще всего упоминают: Квантор всеобщности (обозначение: , читается: «для всех…», «для каждого…» или «каждый…» … Википедия
Предложение (в логике) — Предложение в логике предикатов корректно сформированная формула α не содержащая несвязанных переменных. Это означает, что возможные значения всех, входящих в формулу переменных, определены и формула имеет фиксированную таблицу истинности.… … Википедия
Предложение (логика) — У этого термина существуют и другие значения, см. Предложение (значения). Предложение (в логике предикатов) это корректно сформированная формула , которая не содержит свободных вхождений переменных (т.е. вхождений, не находящихся в области… … Википедия
Имя — Имя слово, реже сочетание слов, называющее, именующее вещь или человека. Отличительные черты имени как типа слов связаны также с особенностями процесса именования (см. Номинация), приводящего к имени, и с ролью имени в предложении.… … Лингвистический энциклопедический словарь
Безработица — (Unemployment) Безработица – это такое социально экономическое явление, при котором часть взрослого трудоспособного населения, не имеет работы и активно ее ищет Безработица в России, Китае, Японии, США и странах Еврозоны, в том числе в кризисные… … Энциклопедия инвестора
