- разрешающая процедура
- , см.: Разрешения проблема
Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. А.А.Ивин, А.Л.Никифоров. 1997.
разрешающая процедура
Смотреть что такое "разрешающая процедура" в других словарях:
разрешающая процедура — эффективная процедура — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия Синонимы эффективная процедура EN decision procedure … Справочник технического переводчика
Проблема разрешимости — Проблема разрешимости вопрос, сформулированный в рамках какой либо формальной системы, требующий ответа «да» или «нет», возможно, зависящего от значений некоторых входных параметров. Например, проблема «дано два числа x и y, делится ли x на … Википедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ПРАГМАТИКА — (от греч. , род. падеж дело, действие), раздел семиотики, посвящённый изучению отношения интерпретатора пользователя к. л. знаковой системы (т. е. субъектов, воспринимающих и использующих её) к самой знаковой системе. Осн. идеи П.… … Философская энциклопедия
НЕРАЗРЕШИМОСТИ СТЕПЕНЬ — класс эквивалентности , индуцированной отношением тьюринговой сводимости на подмножествах натурального ряда ( , если ). Иначе говоря, два множества принадлежат одной Н. с, если для каждого из них существует эффективная разрешающая процедура при… … Математическая энциклопедия
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ — СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ созданная Э. Бэтом формальная разрешающая процедура для формул логики высказываний и логики предикатов. Семантическая таблица состоит из двух (сопряженных) столбцов: в левом столбце пишутся формулы, соответствующие… … Философская энциклопедия
ГОСТ Р ИСО 9000-2001: Системы менеджмента качества. Основные положения и словарь — Терминология ГОСТ Р ИСО 9000 2001: Системы менеджмента качества. Основные положения и словарь оригинал документа: 3.8.7 анализ (en review; fr revue): Деятельность, предпринимаемая для установления пригодности, адекватности, результативности… … Словарь-справочник терминов нормативно-технической документации
ГОСТ Р ИСО 9000-2008: Системы менеджмента качества. Основные положения и словарь — Терминология ГОСТ Р ИСО 9000 2008: Системы менеджмента качества. Основные положения и словарь оригинал документа: 3.8.7 анализ (review): Деятельность, предпринимаемая для установления пригодности, адекватности и результативности (3.2.14)… … Словарь-справочник терминов нормативно-технической документации
ГОСТ ISO 9000-2011: Системы менеджмента качества. Основные положения и словарь — Терминология ГОСТ ISO 9000 2011: Системы менеджмента качества. Основные положения и словарь: 3.8.7 анализ (review): Деятельность, предпринимаемая для установления пригодности, адекватности и результативности (3.2.14) рассматриваемого объекта для… … Словарь-справочник терминов нормативно-технической документации
