Роздільна процедура
дозвільна процедура — ефективна процедура — [http://www.iks media.ru/glossary/index.html?gloss >Довідник технічного перекладача
дозволяюча процедура — див.: Дозвіл проблема … Словник термінів логіки
Проблема разрешимости — Проблема разрешимости питання, сформульований у межах будь-якої формальної системи, вимагає відповіді «так» чи «ні», можливо, залежить від значень деяких вхідних параметрів. Наприклад, проблема «дано два числа 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) об'єкта для… … Словник-довідник термінів нормативно-технічної документації