— теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная алгебра Буля, теория сложения целых чисел и некоторые иные простые математические теории. Неразрешима арифметика целых чисел (т. е. теория четырех главных арифметических действий над целыми числами) и каждая дедуктивная теория, содержащая арифметику.
Прикладные словари
Справочные словари
Толковые словари
Жаргонные словари
Гуманитарные словари
Словарь логики
Технические словари
Что такое Разрешимая Теория? Значение и толкование слова razreshimaja teorija, определение термина
Разрешимая Теория - — теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная алгебра Буля, теория сложения целых чисел и некоторые иные простые математические теории. Неразрешима арифметика целых чисел (т. е. теория четырех главных арифметических действий над целыми числами) и каждая дедуктивная теория, содержащая арифметику.
Разрешимая Теория
Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:
Разделительное Суждение - дизъюнктивное (от лат. disjunctio — разобщаю) сложное ...
Разделительно-Категорическое Умозаключение - умозаключение, в котором одна из посылок — разделительное ...
Разделительно-Условное Умозаключение - см.: Дилемма. ...
Разрешающая Процедура - см.: Разрешения проблема. ...
Разрешения Проблема - или: Разрешимости проблема, — проблема нахождения для данной ...
Рациональность - (от лат. ratio разум) относящееся к ...
Рекурсивное Определение - (от лат. recurso возвращаюсь) — метод определения ...
Релевантная Импликация - см.: Релевантная логика. ...
Релевантная Логика - одна из наиболее известных неклассических теорий логического ...
Референт - (от лат. refero — называть, обозначать) — объект, ...
Разделительно-Категорическое Умозаключение - умозаключение, в котором одна из посылок — разделительное ...
Разделительно-Условное Умозаключение - см.: Дилемма. ...
Разрешающая Процедура - см.: Разрешения проблема. ...
Разрешения Проблема - или: Разрешимости проблема, — проблема нахождения для данной ...
Рациональность - (от лат. ratio разум) относящееся к ...
Рекурсивное Определение - (от лат. recurso возвращаюсь) — метод определения ...
Релевантная Импликация - см.: Релевантная логика. ...
Релевантная Логика - одна из наиболее известных неклассических теорий логического ...
Референт - (от лат. refero — называть, обозначать) — объект, ...
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Код нашей кнопки:
