Прикладные словари

Справочные словари

Толковые словари

Жаргонные словари

Гуманитарные словари

Технические словари



Главная Словарь логики Слова на букву Р Разрешимая Теория

Что такое Разрешимая Теория? Значение и толкование слова razreshimaja teorija, определение термина


Разрешимая Теория -  — теория, для которой существует эф­фективная процедура (алгоритм), позволяющая о каждом утвержде­нии, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная алгебра Буля, теория сложения целых чисел и некоторые иные простые математические теории. Не­разрешима арифметика целых чисел (т. е. теория четырех главных арифметических действий над целыми числами) и каждая дедук­тивная теория, содержащая арифметику.
Разрешимая Теория

 — теория, для которой существует эф­фективная процедура (алгоритм), позволяющая о каждом утвержде­нии, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная алгебра Буля, теория сложения целых чисел и некоторые иные простые математические теории. Не­разрешима арифметика целых чисел (т. е. теория четырех главных арифметических действий над целыми числами) и каждая дедук­тивная теория, содержащая арифметику.

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Разделительное Суждение -   дизъюнктивное (от лат. disjunctio — разобщаю) сложное ...
Разделительно-Категорическое Умозаключение -  умозаключение, в котором одна из посылок — разделительное ...
Разделительно-Условное Умозаключение - см.: Ди­лемма. ...
Разрешающая Процедура - см.: Разрешения проблема. ...
Разрешения Проблема - или: Разрешимости пробле­ма,  — проблема нахождения для данной ...
Рациональность - (от лат. ratio разум)   относящееся к ...
Рекурсивное Определение - (от лат. recurso возвраща­юсь)  — метод определения ...
Релевантная Импликация - см.: Релевантная логика. ...
Релевантная Логика -   одна из наиболее известных неклас­сических теорий логического ...
Референт - (от лат. refero — называть, обозначать)  — объект, ...


Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Код нашей кнопки: