разрешающая процедура


разрешающая процедура
, см.: Разрешения проблема

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 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) рассматриваемого объекта для… …   Словарь-справочник терминов нормативно-технической документации


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.