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