Рекурсивное определение
Версия от 13:51, 13 августа 2018; Andrei (обсуждение | вклад) (Новая страница: «РЕКУРСИВНОЕ ОПРЕДЕЛЕНИЕ — определение, позволяющее на основе конечного множества исхо…»)
РЕКУРСИВНОЕ ОПРЕДЕЛЕНИЕ — определение, позволяющее на основе конечного множества исходных элементов путем применения конечного числа операций построить бесконечно много новых элементов; способ спецификации предиката с бесконечной экстенсией.
