Модуль сходимости
Модуль сходимости Модуль сходимости — функция, определяющая скорость сходимости сходящейся последовательности. Модули сходимости используются в вычислимом анализе и конструктивной математике. […]
Вики
Вычислимый анализ
Вики
Последовательность Спекера
Последовательность спекеров Последовательность Спекера является рекурсивным контрпримером к принципу наименьшей верхней границы в математическом анализе. Последовательность ограничена сверху на 1,
Вики
Вычислительный анализ
Вычислимый анализ Вычислимый анализ — раздел математики, изучающий вычислимость функций и множеств. Вычислимые функции представлены в виде программ на машине