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