- проверка на непротиворечивость
-
consistency check
Англо-русский словарь технических терминов. 2005.
проверка на непротиворечивость
Смотреть что такое "проверка на непротиворечивость" в других словарях:
проверка на непротиворечивость (согласованность) — — [http://slovarionline.ru/anglo russkiy slovar neftegazovoy promyishlennosti/] Тематики нефтегазовая промышленность EN consistency check … Справочник технического переводчика
онтология — 3.70 онтология (ontology): Лексикон специализированной терминологии вместе с некоторой спецификацией значения терминов в лексиконе. Примечание 1 Структурированный набор относительных терминов, представленный с описанием значения терминов в… … Словарь-справочник терминов нормативно-технической документации
онтология продукции — 2.17 онтология продукции (product ontology): Модель информации о продукции, выполненная в соответствии с формальным и согласованным представлением понятий, принятых для продукции и выраженных с использованием определенных характеристических… … Словарь-справочник терминов нормативно-технической документации
ГОСТ Р 53890-2010: Руководство по разработке спецификаций на характеристики и классы продукции. Часть 2. Технические принципы и рекомендации — Терминология ГОСТ Р 53890 2010: Руководство по разработке спецификаций на характеристики и классы продукции. Часть 2. Технические принципы и рекомендации оригинал документа: 2.2 атрибут (attribute): Элемент (отличительный признак) данных,… … Словарь-справочник терминов нормативно-технической документации
ИСТИНА — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или просто И.), если она соответствует своему предмету, т.е. представляет его таким, каков он есть на самом деле. Соответственно, ложной… … Философская энциклопедия
АРИФМЕТИКА — область знаний о числах и операциях в числовых множествах. Говоря об А., имеют в виду рассмотрение вопросов о происхождении и развитии понятия числа, приемы и средства вычислений, исследование операций с числами различной природы, анализ… … Математическая энциклопедия
Switch-технология — технология разработки систем логического управления на базе конечных автоматов, охватывающая процесс спецификации, проектирования, реализации, отладки, верификации, документирования и сопровождения. Предложена А. А. Шалыто в 1991 году [1].… … Википедия
ГИПОТЕЗА — (от греч. hipothesis основание, предположение) положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений; предположение о существовании некоторого явления. Г. может касаться существования… … Философская энциклопедия
БРЭДЛИ — (Bradly) Фрэнсис Герберт (1846 1924) британский философ, представитель абсолютного идеализма, теоретик консерватизма. Получил образование в Оксфордском университете, где вскоре после окончания в 1870 был избран членом совета Мертон колледжа. В… … История Философии: Энциклопедия
БРЭДЛИ — (Bradly) Фрэнсис Герберт (1846 1924) британский философ, представитель абсолютного идеализма, теоретик консерватизма. Основные работы: «Принципы логики» (1883); «Видимость и действительность» (1893); «Ессе об истине и реальности» (1914) и др. В… … Новейший философский словарь
ЛЕЙБНИЦ — (Leibniz) Готфрид Вильгельм (1646 1716) нем. философ, математик, физик и изобретатель, юрист, историк, языковед. Изучал юриспруденцию и философию в Лейпцигском и Йенском ун тах. В 1672 1676 в Париже. С 1676 состоял на службе у ганноверских… … Философская энциклопедия
