Рекурсивное определение — различия между версиями

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

Текущая версия на 18:42, 18 августа 2018

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

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