- логическая оценка
- мат. logical appraisal, logical assessment, logical evaluation
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
Логическая структура «выбор» — Детализация части программы на условный элемент и несколько детальных частей таким образом, что управление передается в зависимости от реализации условного элемента только одной из тех частей, при этом одна из этих частей при необходимости может… … Словарь-справочник терминов нормативно-технической документации
Логическая структура «повторение» — Детализация части программы на условный элемент и одну детальную часть таким образом, что управление передается этой части многократно в соответствии с реализацией условного элемента Источник: ГОСТ 28195 89: Оценка качества программных средств.… … Словарь-справочник терминов нормативно-технической документации
Логическая структура «последовательность» — Детализация части программы на несколько детальных частей таким образом, что передача управления этим частям осуществляется последовательно от предшествующей части к последующей Источник: ГОСТ 28195 89: Оценка качества программных средств. Общие… … Словарь-справочник терминов нормативно-технической документации
ОЦЕНКА ДОКАЗАТЕЛЬСТВ — мыслительная, логическая деятельность, имеющая своей целью определение допустимости, относимости, достоверности, значения (силы) каждого доказательства и достаточности их совокупности для того, чтобы установить обстоятельства, входящие в предмет… … Юридический словарь
оценка — 3.9 оценка (evaluation): Систематическое определение степени соответствия объекта установленным критериям. Источник: ГОСТ Р ИСО/МЭК 12207 99: Информационная технология. Процессы жизненного цикла программных средств … Словарь-справочник терминов нормативно-технической документации
оценка доказательств — мыслительная, логическая деятельность, имеющая своей целью определение допустимости, относимости, достоверности, значения (силы) каждого доказательства и достаточности их совокупности для того, чтобы установить обстоятельства, входящие в предмет… … Большой юридический словарь
ГОСТ 28195-89: Оценка качества программных средств. Общие положения — Терминология ГОСТ 28195 89: Оценка качества программных средств. Общие положения оригинал документа: Базовый показатель качества Реально достижимая совокупность значений показателей качества ПС для уравнения Определения термина из разных… … Словарь-справочник терминов нормативно-технической документации
ГОСТ Р ИСО 13584-20-2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений — Терминология ГОСТ Р ИСО 13584 20 2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений оригинал документа: 3.3.1 арность оператора (arity of an operator):… … Словарь-справочник терминов нормативно-технической документации
МСА 540 «Аудит оценочных значений» — (англ. ISA 540 «Audit of Accounting Estimates») является одним из международных стандартов аудита. На настоящее время действует редакция Комитета по международным стандартам аудита и подтверждения достоверности информации от февраля 2008… … Википедия
ФИНАНСОВЫЙ КОНТРОЛЬ В ВООРУЖЕННЫХ СИЛАХ — деятельность органов государственной власти и управления, командования, финансово экономических органов по систематической проверке и анализу состояния финансово хозяйственной деятельности Вооруженных Сил в целях достижения законности и… … Финансово-кредитный энциклопедический словарь