-
1 abstract data type
ООП абстрактный тип данных (определение типа данных вместе с определенными на нем операциями, а также, возможно, аксиомами, задающими формальные свойства этих операций)Большой англо-русский и русско-английский словарь > abstract data type
-
2 data absraction
ООП абстракция данных (определение типа данных вместе с определенными на нем операциями, а также аксиомами, задающими формальные свойства этих операций)Большой англо-русский и русско-английский словарь > data absraction
-
3 recall that statements that are accepted without proof are called postulates
Универсальный англо-русский словарь > recall that statements that are accepted without proof are called postulates
-
4 abstract data type
ООПабстрактный тип данных (определение типа данных вместе с определенными на нем операциями, а также, возможно, аксиомами, задающими формальные свойства этих операций)English-Russian dictionary of computer science and programming > abstract data type
-
5 axiomatization
аксиоматизация; формулирование аксиом; постулированиеaxiomatization entails… — в соответствии с принятыми аксиомами…
English-Russian dictionary of computer science and programming > axiomatization
-
6 data abstraction
ООПабстракция данных (определение типа данных вместе с определенными на нем операциями, а также аксиомами, задающими формальные свойства этих операций)English-Russian dictionary of computer science and programming > data abstraction
-
7 abstract data type
Программирование абстрактный тип данных Определение типа данных вместе с определенными на нем операциями, а также, аксиомами, задающими формальные свойства этих операций.English-Russian dictionary of computer abbreviations and terms > abstract data type
-
8 axioms of revealed preference
аксиомы выявленного предпочтения
Исходные положения анализа потребительского спроса, определяющие возможность выносить заключения о предпочтениях потребителя, когда известен сделанный им потребительский выбор. Сформулированы П. Сэмюэлсоном и поэтому называются также аксиомами Сэмюэлсона. Общий смысл аксиом состоит в следующем: считается, что набор благ q0 при векторе цен p0 и при общем расходе на приобретение этих благ Z0 «выявленно» предпочитается другому набору q1, если потребитель при том же векторе цен купил набор q0, в то время как мог бы на те же деньги купить набор q1. Это записывается так: q0q1 если, и только если p0q0>p0q1. На этой основе строятся так называемые слабая и сильная аксиомы; слабая утверждает, что если набор q0 явно предпочтительнее набора q1, то q1 не может быть предпочтительнее q0, т.е. отношение явного предпочтения — асимметрично. Сильная аксиома относится не только к двум наборам, но к любому их числу. Она позволяет сопоставлять и такие наборы, которые непосредственно по тем или иным причинам «несравнимы» (например, q0 и qn). Аксиома утверждает, что если набор q0 явно предпочтительнее набора q1, набор q1 явно предпочтительнее набора q2 и так далее, до qn, то набор qn не может быть предпочтительнее, чем q0. При некоторых дополнительных условиях этим создается возможность построения функции полезности.
[ http://slovar-lopatnikov.ru/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > axioms of revealed preference
-
9 object identification
идентификация объекта
1. Определение характеристик объекта и выявление приложенных к нему воздействий с помощью наблюдения за его входами и выходами и статистической обработки полученных данных. Иными словами, И.о. означает отождествление ему как оригиналу некоторой модели. Таково наиболее общее определение, относящееся к системам разного рода (техническим, экономическим и др.). Проблема идентификации особо исследуется в эконометрике, где произошла, по-видимому, терминологическая инверсия: принято говорить не об И.о., т.е. рассматриваемой экономической системы, а наоборот, об идентификации модели (причем, обычно модели, построенной в виде так называемой системы одновременных уравнений). Более того, ряд авторов относит этот термин к отдельному элементу модели, понимая под этим установление самого факта, что данный элемент является существенным (см. Существенные переменные). Например, некоторая экзогенная переменная идентифицируется как действительно оказывающая существенное воздействие на ту или иную эндогенную переменную. 2. В логике аксиомами идентификации являются следующие утверждения: A либо есть B, либо не есть B. Если A есть B, то B есть A. Если A есть B и B есть C, то A есть C. 3. В системе кодирования И. — определение объекта по кодовому обозначению (см. Код).
[ http://slovar-lopatnikov.ru/]Тематики
EN
распознавание объектов
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > object identification
См. также в других словарях:
МАТЕМАТИКА — Математику обычно определяют, перечисляя названия некоторых из ее традиционных разделов. Прежде всего, это арифметика, которая занимается изучением чисел, отношений между ними и правил действий над числами. Факты арифметики допускают различные… … Энциклопедия Кольера
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
ТОПОЛОГИЧЕСКОЕ ПРОСТРАНСТВО — совокупность двух объектов: множества X, состоящего из элементов произвольной природы, наз. точками данного пространства, и из введенной в это множество топологической структуры, или топологии, все равно открытой или замкнутой (одна переходит в… … Математическая энциклопедия
ПОСТУЛАТ — (от лат. postulatum требование), положение (суждение, утверждение), принимаемое в рамках к. л. науч. теории за истинное в силу очевидности и поэтому играющее в данной теории роль аксиомы (наряду с аксиомами логики). Таковы, напр., галиле… … Философская энциклопедия
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
ПЛОСКОСТЬ — одно из основных понятий геометрии; обычно косвенным образом определяется аксиомами геометрии. П. может рассматриваться как совокупность двух непересекающихся множеств множества точек и множества прямых с симметричным отношением инцидентности,… … Математическая энциклопедия
Термодинамика — Термодинамика … Википедия
Аксиоматика теории множеств — Сюда перенаправляется запрос «Теория Цермело Френкеля». На эту тему нужна отдельная статья. Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и у … Википедия
Математическая структура — У этого термина существуют и другие значения, см. Структура (значения). Математическая структура название, объединяющее понятия, общей чертой которых является их применимость к множествам, природа которых не определена. Для определения самой… … Википедия
ZFC — Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств. Система аксиом Цермело Френкеля (ZF) является стандартной системой аксиом для… … Википедия
Конгруэнтность — (от лат. congruens, род. падеж congruentis соразмерный, соответствующий, совпадающий) геометрический термин, употребляемый для обозначения равенства отрезков, углов, треугольников и других фигур и тел в элементарной геометрии. Понятие К.… … Большая советская энциклопедия