РАЗРЕШЕНИЯ ПРОБЛЕМА, или: Разрешимости проблемаРАЗРЕШИМОЕ И ПЕРЕЧИСЛИМОЕ МНОЖЕСТВА

РАЗРЕШИМАЯ ТЕОРИЯ

Найдено 1 определение:

РАЗРЕШИМАЯ ТЕОРИЯ

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Словарь по логике

Найдено схем по теме РАЗРЕШИМАЯ ТЕОРИЯ — 0

Найдено научныех статей по теме РАЗРЕШИМАЯ ТЕОРИЯ — 0

Найдено книг по теме РАЗРЕШИМАЯ ТЕОРИЯ — 0

Найдено презентаций по теме РАЗРЕШИМАЯ ТЕОРИЯ — 0

Найдено рефератов по теме РАЗРЕШИМАЯ ТЕОРИЯ — 0