Большая Советская Энциклопедия (цитаты)

Перечислимое

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


Для поиска, наберите искомое слово (или его часть) в поле поиска


Новости 25.04.2024 18:04:13