Рекурсивное множество

Материал из didactis

Версия от 18:42, 18 августа 2018; Andrei (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

Перейти к: навигация, поиск

РЕКУРСИВНОЕ МНОЖЕСТВО — множество, вопрос о принадлежности (соответственно непринадлежности) к которому решается с помощью определенной процедуры за конечное число действий.

Павелёнис с. 280

Источник — «http://c91028cm.beget.tech/index.php?title=Рекурсивное_множество&oldid=209»