быть+истинным

логические операции
С какой-то степенью точности можно сказать, что математическая логика занимается изучением правил вывода определенных положений без конкретизации самих этих положений (безотносительно к их содержанию), примерно так, как геометрия связана с наукой о пространстве. Одно из основных понятий математической логики — высказывание. Не стремясь к излишней математической строгости, можно сказать, что высказывание — это выражение, относительно которого можно сделать вывод o его истинности или ложности. Например, «Ах!» — это не высказывание, а выражение — «Иван Иванович Иванов ~ телевизор» — высказывание, так как можно утверждать — оно ложно. Знак ~ заменяет здесь слово «эквивалент» и связывает два имени: «Иван Иванович Иванов» и «телевизор». Каждое из этих имен высказыванием не является, тогда как все выражение — высказывание. Над высказываниями можно производить определенные операции. Например, если заданы два высказывания, обозначенные логическими переменными A и B, то можно составить новое высказывание: «A и B». При этом связка «и» заменяется символом ?; тогда запишем «A ? B». Можно также составить выражение «A или B». Связка «или» обозначается с помощью символа v. Можно представить себе высказывание «из A следует B»: «A ==> B». Наконец, можно составить отрицание данного высказывания: «не A». Для операции отрицания используют целый ряд обозначений. ?? v? Например: ? А, ~А, ?. Придадим каждому из высказываний определенное значение истинности. Например, «А» = И, а «В» = Л, т.е. «А — истинно», а «В — ложно», тогда можно рассмотреть истинность перечисленных выше высказываний. Начнем с самого простого — с отрицания: если А — истинно, то «не А — ложно». Наоборот, если «А — ложно», то ?— истинно. Эти очевидные факты могут быть представлены в виде таблицы. Аналогично можно рассмотреть и другие операции. Можно рассмотреть еще одну Л.о. — «А тогда, и только тогда, когда В». Ее можно записать: (А <=> В) ? (А <=> В) ? (В ?А) Рассмотренная выше логика допускает только два значения истинности для высказывания — истинно и ложно, причем высказывание не может быть истинным и ложным одновременно. Поэтому она называется логикой с исключенным третьим. Важную аналогию можно установить, заменив условное обозначение «И» на единицу, а «Л» на нуль. Тогда окажется, что логика аналогична системе действий над двоичными числами, на основе которой работают все компьютеры.
[ http://slovar-lopatnikov.ru/]

Тематики

• экономика

EN

• logical operations

сбивать с пути истинного — to lead astray

быть истинным — to be beyond question

истинная правда — veritable solemn truth; plain truth

истинное происшествие — true story

истинный друг — true friend

истинный смысл — true sense

абориген
автохтон
Организм (таксон), со времени своего филогенетического становления обитающий в данной местности; термин «абориген» употребляется при конкретном противопоставлении вселяемым (интродуцируемым) и заносным формам, хотя в таком случае «абориген» может и не быть истинным «автохтоном».
[Арефьев В.А., Лисовенко Л.А. Англо-русский толковый словарь генетических терминов 1995 407с.]

Тематики

• генетика

Синонимы

• автохтон

EN

• aboriginal
• autochton

аксиома
Любое предложение с точным содержанием, утверждаемое в качестве такового авторитетным источником
[ ГОСТ 34.320-96]

аксиома
Предложение, принимаемое за истину без доказательств.
Аксиомы являются исходными предложениями различных теорий. К аксиомам предъявляются требования непротиворечивости, независимости и полноты. Примером аксиомы является утверждение: "через две точки можно провести только одну прямую" линию.
Нередко аксиомы являются отправными пунктами программирования, определяя то, что должно быть истинным. Аксиомы имеют опытное происхождение и являются основой доказательств многих других положений.
Аксиому также называют постулатом.
[ http://www.morepc.ru/dict/]

Тематики

• базы данных
• информационные технологии в целом

EN

• axiom

систематическая погрешность метода измерений
Разность между математическим ожиданием результатов измерений, полученных во всех лабораториях, применяющих данный метод, и истинным (или в его отсутствие принятым опорным значением) измеряемой характеристики.
Примечание. Систематическую погрешность метода измерений оценивают отклонением среднего значения результатов измерений, полученных от большого числа различных лабораторий, применяющих один и тот же метод. Систематическая погрешность метода измерений может зависеть от значения измеряемой характеристики, то есть может быть различной на разных уровнях.
[ ГОСТ Р ИСО 5725-1-2002]

Тематики

• метрология, основные понятия

EN

• bias of the measurement method

3.10 систематическая погрешность метода измерений (bias of the measurement method): Разность между математическим ожиданием результатов измерений, полученных во всех лабораториях, применяющих данный метод, и истинным (или в его отсутствие принятым опорным значением) измеряемой характеристики.

Примечание 6 - Систематическую погрешность метода измерений оценивают отклонением среднего значения результатов измерений, полученных от большого числа различных лабораторий, применяющих один и тот же метод. Систематическая погрешность метода измерений может зависеть от значения измеряемой характеристики, то есть может быть различной на разных уровнях.

Источник: ГОСТ Р ИСО 5725-1-2002: Точность (правильность и прецизионность) методов и результатов измерений. Часть 1. Основные положения и определения оригинал документа

принятое опорное значение
Значение, которое служит в качестве согласованного для сравнения и получено как:
a) теоретическое или установленное значение, базирующееся на научных принципах;
b) приписанное или аттестованное значение, базирующееся на экспериментальных работах какой-либо национальной или международной организации;
c) согласованное или аттестованное значение, базирующееся на совместных экспериментальных работах под руководством научной или инженерной группы;
d) математическое ожидание измеряемой характеристики, то есть среднее значение заданной совокупности результатов измерений - лишь в случае, когда а), b) и с) недоступны (ИСО 3534-1 [1]).
В отечественной метрологии погрешность (the error) результатов измерений, как правило, определяется сравнением результата измерений с истинным или действительным значением измеряемой физической величины (являющимися фактически эталонными значениями измеряемых величин, выраженными в узаконенных единицах).
Согласно 3.6 РМГ 29-99 [3] истинное значение физической величины (true value of a quantity) - значение, которое идеальным образом характеризует в качественном и количественном отношении соответствующую физическую величину; согласно 3.7 РМГ 29 действительное значение физической величины (conventional true value) - значение величины, полученное экспериментальным путем и настолько близкое к истинному значению, что в поставленной измерительной задаче может быть использовано вместо него.
В условиях отсутствия необходимых эталонов, обеспечивающих воспроизведение, хранение и передачу соответствующих значений величин, необходимых для определения погрешности (точности) результатов измерений и в отечественной, и в международной практике за действительное значение зачастую принимают общее среднее значение (математическое ожидание) заданной совокупности результатов измерений, выражаемое в отдельных случаях в условных единицах. Эта ситуация и отражена в термине «принятое опорное значение».
[ ГОСТ Р ИСО 5725-1-2002]
[ ГОСТ Р 8.563-96]

Тематики

• метрология, основные понятия

EN

• accepted reference value

3.13 принятое опорное значение (accepted reference value): Значение, которое служит в качестве согласованного для сравнения и получено как:

а) теоретическое или установленное значение, базирующееся на научных принципах;

б) приписанное или аттестованное значение, базирующееся на экспериментальных работах какой-либо национальной или международной организации;

в) согласованное или аттестованное значение, базирующееся на совместных экспериментальных работах под руководством научной или инженерной группы;

г) математическое ожидание измеряемой характеристики, то есть среднее значение заданной совокупности результатов измерений - лишь в случае, когда а), б) и в) недоступны (ISO 3534-1[3]).

[ ГОСТ Р ИСО 5725-1-2002, пункт 3.5]

Источник: СТО Газпром 5.26-2009: Организация и проведение внутрилабораторного контроля измерений показателей качества природного газа в химико-аналитических лабораториях

3.5 принятое опорное значение (accepted reference value): Значение, которое служит в качестве согласованного для сравнения и получено как:

a) теоретическое или установленное значение, базирующееся на научных принципах;

b) приписанное или аттестованное значение, базирующееся на экспериментальных работах какой-либо национальной или международной организации;

c) согласованное или аттестованное значение, базирующееся на совместных экспериментальных работах под руководством научной или инженерной группы;

d) математическое ожидание измеряемой характеристики, то есть среднее значение заданной совокупности результатов измерений - лишь в случае, когда а), b) и с) недоступны (ИСО 3534-1 [1]).

В отечественной метрологии погрешность (the error) результатов измерений, как правило, определяется сравнением результата измерений с истинным или действительным значением измеряемой физической величины (являющимися фактически эталонными значениями измеряемых величин, выраженными в узаконенных единицах).

Согласно 3.6 ГОСТ Р ИСО 5725-1 и рекомендуется для использования в отечественной практике.

Источник: ГОСТ Р ИСО 5725-1-2002: Точность (правильность и прецизионность) методов и результатов измерений. Часть 1. Основные положения и определения оригинал документа

3.5 принятое опорное значение (accepted reference value): Значение, которое служит в качестве согласованного для сравнения и получено как:

a) теоретическое или установленное значение, базирующееся на научных принципах;

b) приписанное или аттестованное значение, базирующееся на экспериментальных работах какой-либо национальной или международной организации;

c) согласованное или аттестованное значение, базирующееся на совместных экспериментальных работах под руководством научной или инженерной группы;

d) математическое ожидание измеряемой характеристики, то есть среднее значение заданной совокупности результатов измерений - лишь в случае, когда а), b) и с) недоступны...

[ ГОСТ Р ИСО 5725-1-2002, пункт 3.5]

Источник: ГОСТ Р 8.673-2009: Государственная система обеспечения единства измерений. Датчики интеллектуальные и системы измерительные интеллектуальные. Основные термины и определения оригинал документа

историческое богословие — historical theology

католическое богословие — Roman theology

курс практического богословия — divinity course

раздел богословия, посвящённый катехизису — catechetics

раздел богословия, посвящённый убранству храмов — ecclesiology

рационалистическое богословие — rational theology

систематическое богословие — systematic theology

факультет богословия — divinity school

множество
набор
комплект
—
[ http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=4318]

множество
Одно из основных понятий современной математики, «произвольная совокупность определенных и различимых объектов, объединенных мысленно в единое целое». (Так определял множество основатель теории множеств, известный немецкий математик Георг Кантор. Правда, уже в начале XX в. стало ясно, что определение Кантора нельзя считать достаточно строгим, так как оно приводит к различным логическим противоречиям. Широко распространено убеждение, что «М.» — понятие, поясняемое только на примерах. Такая странная для математики ситуация объясняется отчасти тем, что все попытки определить термин «М.» приводят, по существу, к замене его другими, столь же неопределенными понятиями). Примеры множеств: М. действительных чисел, М. лошадей в табуне, М. планов, М. функций, М. переменных задачи. Все М., кроме пустого М., состоят из элементов. Например, каждое действительное число есть один из элементов М. действительных чисел. То, что элемент a принадлежит множеству A, обозначают с помощью специального знака a ?A. Это читается так: «a принадлежит множеству А в качестве элемента». М. можно задать прямым перечислением элементов. Пусть А состоит из элементов a1, a2, a3. Это записывается так: A = {a1, a2, a3}. Если непосредственное перечисление элементов М. невозможно (например, когда М. A состоит из бесконечного числа элементов), его определяют характеристическим высказыванием, т.е. высказыванием, истинным только для элементов данного М. В таком случае употребляется запись типа: A = {x|P(x) = И}, которая читается так: «М. A — есть М., состоящее из элементов x таких, что P(x) — истинно». Множество М всех планов x, удовлетворяющих условию, что они лучше (больше), чем план x0, может быть задано с помощью высказывания: М {x|(x>x0) = И} или сокращенно: M = {x|(x>x0)}. Коротко остановимся на определениях и свойствах действий над множествами. Прежде всего, можно рассмотреть два М. — A и B, обладающих следующим свойством: все элементы М. A принадлежат и М. B. Множество A есть, таким образом, подмножество B. Это обозначается так: A ? B. Предположим теперь, что даны произвольные М. A и B. Тогда из элементов этих М. можно сконструировать несколько других: Во-первых, М. элементов, принадлежащих либо A, либо B; такая операция над М. обозначается через A ? B и называется объединением; ясно, например, что если A? B, то A ? B = B; кроме того, A? B = B? A это свойство называется коммутативностью; (A? B) ? C = A ? (B? C) - это свойство — ассоциативность (возможность произвольного разбиения на группы); Во-вторых, можно рассмотреть также М. элементов, принадлежащих и A, и B одновременно; такая операция называется пересечением и обозначается через ?. Предположим, что A? B, тогда A ? B = A. Для того, чтобы пересечение двух М. имело смысл, даже если у них нет общих элементов, вводится понятие пустого М., т.е. М. без элементов. Его обозначают ?. Легко увидеть, что A ? ? = A; A ? ? = ? ; Так же, как и объединение, операция ? — ассоциативна и коммутативна. Объединение множеств называют иногда их суммой, а пересечение их — произведением. В третьих, можно выделить также подмножество элементов множества A, не принадлежащих B. Это действие называется дополнением B до A или разностью A\B. Так же как и в случае обычной разности, это действие некоммутативно. В евклидовом n-мерном пространстве М., содержащее все свои граничные точки, — замкнутое; М., для которого существует (n-мерный) шар, целиком его содержащий, — ограниченное; ограниченное и замкнутое М. называется компактным; о выпуклом М. см. Выпуклость, вогнутость. В разных контекстах вместо слова множество часто употребляют: область (напр. Область допустимых решений) или пространство (напр. Простртанство производственных возможностей). См. также Венна диаграммы, Декартово произведение множеств, Нечеткое, размытое множество.
[ http://slovar-lopatnikov.ru/]

Тематики

• защита информации
• экономика

Синонимы

• набор
• комплект

EN

• set

погрешность
Отклонение значения измеренной или вычисленной величины от действительного её значения ввиду неточности измерений или вычислений
[Терминологический словарь по строительству на 12 языках (ВНИИИС Госстроя СССР)]

Тематики

• метрология, основные понятия

EN

• error

DE

• Abweichung
• Fehler

FR

• erreur

3.11 погрешность (error): Максимальное отклонение от оценки среднего значения представительного показателя качества, выраженное удвоенным стандартным (среднеквадратическим) отклонением оценки этого показателя.

Источник: ГОСТ 17260-2009: Ферросплавы, хром и марганец металлические. Общие требования к отбору и подготовке проб оригинал документа

3.10 погрешность (error): Разность между полученным результатом наблюдений и принятым значением в соответствии с ИСО 5725-1, подраздел 3.5.

Примечание - Погрешность может быть как систематической, так и случайной.

Источник: ГОСТ Р ИСО 13909-1-2010: Уголь каменный и кокс. Механический отбор проб. Часть 1. Общее введение оригинал документа

3.19 погрешность (error): Расхождение между рассчитанным, наблюдаемым или измеренным значениями величины или условиями и истинным, установленным или теоретическим значениями величины или условий (см. рисунок 3).

Источник: ГОСТ Р МЭК 61513-2011: Атомные станции. Системы контроля и управления, важные для безопасности. Общие требования оригинал документа