Рекурсия — Википедия
Рекурсия Определение рекурсии Рекурсия — это процесс, при котором функция вызывает сама себя. Рекурсия используется для определения бесконечных последовательностей и […]
Вики
Recursion
Вики
Комбинатор с фиксированной точкой — Википедия
Комбинатор с фиксированной запятой Определение и свойства комбинатора с фиксированной точкой Комбинатор с фиксированной точкой — это комбинатор, который возвращает
Вики
Непредикативность — Википедия
Непредсказуемость Определение и примеры предикативных и непредикативных определений Предикативные определения описывают свойства, которые могут быть проверены на истинность. Непредикативные определения
Вики
Анонимная рекурсия — Википедия
Анонимная рекурсия Определение и использование анонимной рекурсии Анонимная рекурсия — это рекурсия без явного вызова функции по имени. Рекурсия может
Вики
Непредикативность — Википедия
Непредсказуемость Определение и примеры предикативных и непредикативных определений Предикативные определения описывают свойства, которые могут быть проверены на истинность. Непредикативные определения
Вики
Рекурсивное определение — Википедия
Рекурсивное определение Определение рекурсивных объектов Рекурсивное определение использует элементы набора для определения других элементов. Примеры включают факториалы, натуральные числа и
Вики
Трансфинитная индукция — Википедия
Трансфинитная индукция Основы математической индукции Математическая индукция — метод доказательства утверждений для бесконечных последовательностей. Используется для доказательства свойств натуральных чисел
Вики
Обход дерева — Википедия
Обход дерева Основы обхода дерева Обход дерева — это процесс последовательного посещения всех его узлов. Существуют различные типы обходов: предварительный,
Вики
Сгиб (функция высшего порядка) — Википедия
Сгиб (функция более высокого порядка) Определение и применение функции fold Функция fold объединяет элементы списка, используя бинарную операцию f. Начальное
Вики
Поток управления — Википедия
Поток управления Основы управления потоком Управление потоком включает в себя инструкции для управления выполнением программы. Существуют различные типы управляющих конструкций,
Вики
Хвостовой вызов — Википедия
Последующий вызов Определение и использование хвостовой рекурсии Хвостовая рекурсия — это рекурсия, в которой последний вызов функции является рекурсивным вызовом.
Вики
Хвостовой вызов — Википедия
Последующий вызов Определение и использование хвостовой рекурсии Хвостовая рекурсия — это рекурсия, в которой последний вызов функции является рекурсивным вызовом.
Вики
Рекурсивный язык — Википедия
Рекурсивный язык Определение рекурсивного языка Рекурсивный язык — это язык, который может быть описан рекурсивной машиной Тьюринга. Рекурсивные языки включают
Вики
Непредикативность — Википедия, бесплатная энциклопедия
Непредсказуемость В математике, логике и философии математики недоказуемое определение — это определение, ссылающееся на себя. Определение является непредикативным, если оно
Вики
Реентерабельность (вычисления) — Википедия
Повторный вход (вычисление) Повторный вход — концепция программирования, позволяющая функции или подпрограмме быть прерванной и возобновленной до завершения выполнения. Реентерабельный
Вики
Кибернетика второго порядка — Википедия
Кибернетика второго порядка Кибернетика второго порядка — направление в кибернетике, рассматривающее информацию как созданную человеком и взаимодействующую с окружающей средой.
Вики
Рекурсия (информатика) — Википедия
Рекурсия (информатика) Рекурсия — это метод определения функции, которая вызывает саму себя. Рекурсивные функции могут быть реализованы итеративно путем замены
Вики
Рекурсивное определение — Википедия
Рекурсивное определение Рекурсивное определение используется в математике и информатике для определения элементов в наборе в терминах других элементов. Примеры рекурсивно
Вики
Трансфинитная индукция — Википедия
Трансфинитная индукция Трансфинитная индукция используется для доказательства утверждений о бесконечных множествах. Трансфинитная индукция основана на идее индукции по порядковым номерам.
Вики
Примитивная рекурсивная функция — Википедия
Примитивная рекурсивная функция Примитивно-рекурсивные функции являются фундаментальными в теории рекурсии и используются для определения более сложных функций. Рекурсия может быть
Вики
Черепахи вниз — Википедия
Черепахи на всем пути вниз Метафора «черепахи на всем пути вниз» используется для описания бесконечного регресса и онтологической экстравагантности. Регресс