Словарь логики
"Разрешимая Теория"

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

Словарь логики
Искать!

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

Поделитесь с друзьями:


Вы можете поставить ссылку на это слово:
<a href="http://www.dicdic.ru/log/318/">Разрешимая Теория</a>
будет выглядеть так: Разрешимая Теория

<a href="http://www.dicdic.ru/log/318/">Что такое Разрешимая Теория</a>
будет выглядеть так: Что такое Разрешимая Теория

Наиболее востребованные слова:    ВОДОПОТРЕБЛЕНИЯ НОРМА / Большой энциклопедический словарь. Сельское хозяйство
   Прованс / Энциклопедический словарь
   Флудить / Словарь компьютерного жаргона
   Русский Алфавит / Энциклопедический словарь
   Политическая Карта Мира / Энциклопедический словарь
   СЕКВЕСТИРОВАНИЕ / Бухгалтерский словарь
   Аспект / Словарь Даля
   Группы Крови / Энциклопедический словарь
   АВИЗО / Бухгалтерский словарь
   Рентабельность / Бизнес словарь
   Алфавит / Энциклопедический словарь
   Гетеро... / Сексологический словарь
   Копрофилия / Толковый словарь психиатрических терминов
   Фонетический / Словарь Даля
   Географические Карты / Энциклопедический словарь
   Диверсификация / Бизнес словарь
   Личности структура по Платонову / Толковый словарь психиатрических терминов
   Реализм / Энциклопедический словарь
   Римские Цифры / Энциклопедический словарь
   Интерпретация / Словарь логики
   Логика / Словарь логики
   Синонимы / Энциклопедический словарь
   СЧЕТ-ФАКТУРА / Бухгалтерский словарь
   Части Речи / Энциклопедический словарь
   Филолог / Энциклопедический словарь